All software

KeYmaera X

An aXiomatic Tactical Theorem Prover for Hybrid Systems

PDAF

PDAF - the Parallel Data Assimilation Framework is one of the most widely used a software frameworks for data assimilation. PDAF provides support for ensemble modeling and fully implemented data assimilation methods to merge models and observational data which let models learn from observations.

XRAYPAC

A software package for modeling x-ray-induced dynamics of matter

CPlantBox

CPlantBox is a functional-structural plant-soil modelling framework. It simulated the 3D architecture of a plant, coupled carbon and water flow within the plant, water flow and solute transport in a 3D dynamic soil, as well as water and nutrient uptake, and rhizodeposition.

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)

AROSICS

AROSICS is an automated and robust open-source image co-registration software for multi-sensor satellite data.

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.

NetworKit

NetworKit is a growing open-source toolkit for large-scale network analysis. Its aim is to provide tools for the analysis of large networks in the size range from thousands to billions of edges. It implements efficient graph algorithms, many of them parallel to utilize multicore architectures.

Materials Learning Algorithms

MALA (Materials Learning Algorithms) is a data-driven framework to accelerate electronic structure calculations based on machine learning. Its purpose is to construct neural-network surrogate models for bypassing computationally expensive steps in state-of-the-art density functional simulations.

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.

JURASSIC

The Juelich Rapid Spectral Simulation Code (JURASSIC) is an open source, high performance infrared radiative transfer and retrieval model for atmospheric remote sensing applications.