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
KeY
KeY is a deductive verification system for Java programs
- Deductive Verification
- First-Order Logic
- Formal Verification
- + 3
- Java
- HTML
- ANTLR
- + 15
PIConGPU
PIConGPU is a relativistic Particle-in-Cell code running on graphic processing units as well as regular multi-core processors. It is Open Source und is freely available for download. It can be used to study plasmas with relativistic dynamics, solving the Maxwell-Vlasov system of equations.
- C++
- CPU
- GPU
- + 9
- C++
- Python
- Shell
- + 5
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
Trixi.jl
Trixi.jl is a numerical simulation framework for conservation laws written in Julia with an extensible design with a fast implementation, Trixi.jl is focused on being easy to use for new or inexperienced users, including the installation and postprocessing procedures.
- CFD
- Earth & Environment
- hpc
- + 3
- Julia
- Jupyter Notebook
- Shell
- + 2
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
TSMP
The Terrestrial Systems Modelling Platform (TSMP) is an open source framework implementing a scale-consistent, highly modular, massively parallel regional Earth system model. It represents transport and feedback processes of mass, energy and momentum across geo-ecosystem compartments and scales.
- Earth & Environment
- Fortran
- Shell
- C
- + 10