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
- + 13
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
- BitBake
- C
- C++
- + 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
- + 9
SUMO
Eclipse SUMO is an open source, highly portable, microscopic and continuous traffic simulation package designed to handle large networks. It allows for intermodal simulation including pedestrians and comes with a large set of tools for scenario creation.
- Aeronautics, Space and Transport
- Modelling
- open source
- + 3
- Python
- C++
- C
- + 14
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
- Batchfile
- C
- C#
- + 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
- Shell
- + 6
REMix
REMix is a powerful software for energy systems optimization. It can be used for the planning and techno-economical assessment of future multi-energy systems of any spatial, temporal and technological scope. REMix offers a wide range of methods and features that can be flexibly selected by the user.
- Energy
- Energy planning
- ESD
- + 5
- GAMS
- Python
- Dockerfile
CORSIKA
A Monte Carlo framework for the simulation of particle showers initiated in the Earth's atmosphere (or dense media) by high-energy particles from the cosmos.
- Astroparticle Physics
- Matter
- Monte Carlo simulation
- Fortran
- C++
- Nextflow
- + 2
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
- Batchfile
- C
- C++
- + 8
ETHOS.FINE - Framework for Integrated Energy System Assessment
ETHOS.FINE provides a framework for modeling, optimizing and assessing energy systems. Systems with multiple regions, commodities and time steps can be modeled. Target of the optimization is the minimization of the total annual cost while considering technical and environmental constraints.
- Energy
- Energy planning
- ESD
- + 6
- Python
- Dockerfile
ICON
ICON (Icosahedral Nonhydrostatic) is a flexible, scalable, high-performance modelling framework for weather, climate and environmental prediction . It is collaboratively developed and maintained by the ICON partnership (MPI-M, DWD, DKRZ, C2SM, KIT)
- Aerosol Research
- Atmospheric science
- Climate
- + 4
- Fortran Free Form
- Shell
- NCL
- + 2
KeY
KeY is a deductive verification system for Java programs
- Deductive Verification
- First-Order Logic
- Formal Verification
- + 3
- Java
- ANTLR
- Perl
- + 14