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
MercuryDPM
MercuryDPM is an open-source C++ framework for discrete particle simulations of granular materials, powders, and other particulate systems. It was started in 2009 to support complex scientific and industrial particle simulations. MercuryDPM is developed by an international open-source community.
- Computational Granular Mechanics
- Discrete Element Method
- Discrete Particle Method
- + 3
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
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