All software
KeYmaera X
An aXiomatic Tactical Theorem Prover for Hybrid Systems
- Axiom
- Differential Dynamic Logic
- Hybrid Systems
- + 3
- Scala
- JavaScript
- Wolfram Language
- + 7
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.
- Atmospheric science
- data assimilation
- Earth & Environment
- + 9
- Fortran
- Makefile
- Python
- + 3
reflimR
Uses an indirect method based on truncated quantile-quantile plots to estimate reference limits from routine laboratory data: Georg Hoffmann et al. (2024).
- R
XRAYPAC
A software package for modeling x-ray-induced dynamics of matter
- light-matter interaction
- radiation chemistry
- structural imaging
- + 3
- Fortran Free Form
- Python
- C
- + 2
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.
- Aeronautics, Space and Transport
- Atmospheric science
- Earth & Environment
- + 5
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.
- C++
- FSPM
- functional-structural soil-plant model
- + 2
- Python
- C++
- CMake
- + 3
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.
- Data analysis
- Data Science
- Data Visualization
- + 3
- R
- JavaScript
- CSS
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).
- Data Visualization
- Earth & Environment
- Education
- + 1
CADET
CADET provides hierarchical models, efficient solvers and computational engineering tools for a range of biotechnological processes, including chromatography, filtration, crystallization, and fermentation.
- adsorption
- chromatography
- compartment modelling
- + 4
- C++
- CMake
- C
- + 5
AMUSE
Combine existing numerical codes in an easy to use Python framework. With AMUSE you can simulate objects such as star clusters, proto-planetary disks and galaxies.
- High performance computing
- Multi-scale & multi model simulations
- Workflow technologies
- (Assembly)
- (C)
- (C++)
- + 23
matRad
matRad is a dose calculation and inverse treatment planning toolkit for radiotherapy research and education written in Matlab.
- Health
- Medical Physics
- Particle Therapy
- + 2
- MATLAB
- TeX
- C++
Earth System Model Evaluation Tool (ESMValTool)
- climate modelling
- Data analysis
- Earth & Environment
- + 4
- Python
- NCL
- R
- + 7