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
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
LLview
LLview is a set of software components to monitor clusters that are controlled by a resource manager and a scheduler system.
- High performance computing
- hpc
- monitoring
- + 2
- Perl
- Python
- Shell