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.

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.

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.

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.

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.

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.

PeTrack

PeTrack (Pedestrian Tracking) automatically extracts accurate pedestrian trajectories from video recordings (calibration, recognition, tracking). Individual codes enable personalized trajectories with static information of each participant. With a stereo camera also markerless tracking is possible.

KeYmaera X

An aXiomatic Tactical Theorem Prover for Hybrid Systems

CADET

CADET provides hierarchical models, efficient solvers and computational engineering tools for a range of biotechnological processes, including chromatography, filtration, crystallization, and fermentation.

Earth System Model Evaluation Tool (ESMValTool)

4C Multiphysics

4C is a parallel multiphysics research code for simulating solid/fluid mechanics, scalar transport, and chemical reactions. It supports both single-field and coupled systems, offering ready-to-use solutions for a wide range of physical problems.

FastSurfer

FastSurfer is a fast and accurate deep-learning pipeline for the analysis of human brain MRI. FastSurfer provides a fully compatible FreeSurfer alternative for volumetric and surface-based thickness analysis, also supporting sub-mm resolutions, and sub-segmentation of neuroanatomical structures.