KeY
KeY is a deductive verification system for Java programs
KeY is a deductive verification system for Java programs
NEST is a simulator for spiking neuronal networks. A well tested and efficient tool, NEST works on your laptop and also on the world’s largest supercomputers to study behaviour of large networks of neurons.
The instrumentation and measurement framework Score-P, together with analysis tools build on top of its output formats, provides insight into massively parallel HPC applications, their communication, synchronization, I/O, and scaling behaviour to pinpoint performance bottlenecks and their causes.
CrystFEL is a suite of programs to process data from "serial crystallography" experiments.
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.
matRad is a dose calculation and inverse treatment planning toolkit for radiotherapy research and education written in Matlab.
PDAF - the Parallel Data Assimilation Framework is a software framework for interdisciplinary data assimilation. PDAF provides support for ensemble modeling and fully implemented data assimilation methods to merge models and observational data.
AROSICS is an automated and robust open-source image co-registration software for multi-sensor satellite data.
DataLad is a tool for the joint management of code, data, and their relationship, built on top of the version control systems Git & git-annex. It adapts principles of open-source software development & distribution to address challenges of data management, data sharing, & digital provenance capture.
JEMRIS is a versatile, open-source, multi-purpose MRI simulator. It is well-suited for research and education.
Allpix Squared is a semiconductor detector simulation framework. The goal of the framework is to provide a complete and easy-to-use package for end-to-end simulations of semiconductor detector performance from incident ionizing radiation until the digitization of hits in the detector chip.