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
haddock3
Haddock3 (High Ambiguity Driven protein-protein DOCKing) is a modular software for for the integrative modeling and refinement of biomolecular complexes.
- biomolecular complexes
- docking
- energetics
- + 4
- Python
- Fortran
- Jupyter Notebook
- + 11
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
COPASI
COPASI is an open source software for simulation and analysis of biochemical networks and their dynamics. It provides simulations using ODEs, SDEs, or Gillespie's stochastic simulation algorithm, with optional discrete events. COPASI provides several analyses, optimization, and parameter estimation.
- Dynamics
- optimization
- Parameter estimation
- + 3
- C++
- Java
- Fortran
- + 17
anvi'o
anvi'o is an open-source software platform for microbial 'omics research enabling analysis and visualization of 'omics data. In development since 2014, it is currently being maintained by the Ecosystem Data Science group at the Helmholtz Institute for Functional Marine Biodiversity.
- Data analysis
- Data Visualization
- Metagenomics
- + 4
- Python
- JavaScript
- HTML
- + 5
ASTRA Toolbox
The ASTRA Toolbox is a Python and MATLAB library of flexible, high-performance GPU-accelerated primitives for 2D and 3D tomography.
- CT
- GPU
- Image reconstruction
- + 4
- C++
- Cuda
- MATLAB
- + 8
KeY
KeY is a deductive verification system for Java programs
- Deductive Verification
- First-Order Logic
- Formal Verification
- + 3
- Java
- HTML
- ANTLR
- + 15
Parallel Ice Sheet Model (PISM)
An open-source modelling framework for ice sheets and glaciers
- C++
- geophysics
- Glacier
- + 5
- C++
- Python
- TeX
- + 9
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
DUNE (Distributed and Unified Numerics Environment)
DUNE, the Distributed and Unified Numerics Environment, is a modular toolbox for solving partial differential equations (PDEs) with grid-based methods. It supports the easy, flexible, and efficient implementation of finite element and volume methods. DUNE is C++ code and also has a Python interface.
- C++
- Grid-based PDE methods
- High performance computing
- + 5
- C++
- CMake
- Python
- + 2
JPlag
JPlag is one of the most popular source code plagiarism detection systems worldwide.
- Automated Obfuscation Attack
- Collusion Detection
- Data analysis
- + 10
- Java
- ANTLR
- Vue
- + 16
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