All software
QUAST
QUAST is a state-of-the-art tool for (meta)genome assembly evaluation, computing over 50 quality metrics and presenting results in plain text, static plots, and interactive HTML reports.
- Data Visualization
- FAIR Software
- Genome assembly
- + 4
- AMPL
- C++
- Python
- + 12
CP2K
CP2K is a quantum chemistry and solid state physics software package running on graphics processing units and thousands of processing units. It is open-source and allows simulations, spectroscopy, vibrational analysis and energy minimization on a vast variety of theory levels.
- electronic structure
- GPU
- High performance computing
- + 5
- Fortran
- C
- Python
- + 13
KeY
KeY is a deductive verification system for Java programs
- Deductive Verification
- First-Order Logic
- Formal Verification
- + 3
- Java
- HTML
- ANTLR
- + 15
ASPECT - The Advanced Solver for Planetary Evolution, Convection, and Tectonics
ASPECT is a code to simulate convection and tectonic processes in the Earth and other planetary bodies. It has grown from a mantle-convection code into a tool for many geodynamic applications, like glacial isostatic adjustment, lithospheric scale deformation, ore formation and two-phase flow.
- C++
- CFD
- Computational Fluid Dynamics
- + 6
- C++
- Python
- CMake
- + 10
KeYmaera X
An aXiomatic Tactical Theorem Prover for Hybrid Systems
- Axiom
- Differential Dynamic Logic
- Hybrid Systems
- + 3
- Scala
- JavaScript
- Mathematica
- + 7
Eventdisplay
Eventdisplay is a reconstruction and analysis pipeline for data of Imaging Atmospheric Cherenkov Telescopes (IACT).
- Astronomy
- Data analysis
- gamma-ray telescopes
- C++
- C
- Makefile
- + 3
t8code
t8code (spoken as "tetcode") is a C/C++ library to manage parallel adaptive meshes with various element types. t8code uses a collection (a forest) of multiple connected adaptive space-trees in parallel and scales to at least one million MPI ranks and over 1 trillion mesh elements.
- data managment
- Data Visualization
- exascale
- + 3
- C++
- C
- CMake
- + 7
simona
This package implements infrastructures for ontology analysis by offering efficient data structures, fast ontology traversal methods, and elegant visualizations. It provides a robust toolbox supporting over 70 methods for semantic similarity analysis.
- Data analysis
- Data Visualization
- FAIR Data
- + 3
- R
- C++
- JavaScript
- + 3
ELECTRODE
ELECTRODE extends the atomistic simulation tool LAMMPS to model different types of electrochemical situations. Simulations are performed at constant potential or constant charge using different approaches to control potential or charge at the electrodes.
- Constant Potential Method
- Electrochemistry
- Molecular Dynamics
- C++
- Tcl
- Cuda
- + 24
Arbor
Arbor is a high-performance library for computational neuroscience simulations with multi-compartment, morphologically-detailed cells, from single cell models to very large networks. Arbor is written from the ground up to help neuroscientists effectively use contemporary and future HPC systems.
- GPU
- High performance computing
- Neural network
- + 4
- C++
- AGS Script
- Python
- + 7
eCLM
The enCore Community Land Model (eCLM) is based on the Community Land Model version 5, representing land surface processes including hydrology, biogeophysics, biogeochemistry and ecosystem dynamics.
- Biogeochemistry
- Earth System Modelling
- Land Surface Modelling
- Fortran
- Python
- CMake
- + 7
JURI
JURI (Jülich Reporting Interface) provides a template-driven fully client-based web framework to visualise data lists and associated data graphs.
- JavaScript
- HTML
- CSS
- + 5