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.

reflimR

Uses an indirect method based on truncated quantile-quantile plots to estimate reference limits from routine laboratory data: Georg Hoffmann et al. (2024).

XRAYPAC

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

MESSy

MESSy is a software framework for the assembly of Earth System Models with components, which are numerical representations of processes in the Earth system. The unique feature of MESSy is its modular structure that facilitates continuous development and flexible model configurations.

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.

InteractiveComplexHeatmap

InteractiveComplexHeatmap is an R package that converts static heatmaps produced from ComplexHeatmap package into an interactive Shiny app only with one extra line of code.

ICGEM

ICGEM is archiving all global Earth gravity field models in citable form (DOIs). ICGEM provides visualization of the archived models incl. their differences and time variation. ICGEM is coordinated by the International Gravity Field Service (IGFS) of the International Association of Geodesy (IAG).

CADET

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

matRad

matRad is a dose calculation and inverse treatment planning toolkit for radiotherapy research and education written in Matlab.

Earth System Model Evaluation Tool (ESMValTool)

simplifyEnrichment

A new clustering algorithm, "binary cut", for clustering similarity matrices of functional terms is implemeted in this package. It also provides functions for visualizing, summarizing and comparing the clusterings.