Software

KeY

KE

KeY is a deductive verification system for Java programs

Updated 6 days ago
776 21

NEST

NE

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.

Updated 4 weeks ago
542 119

Score-P

SC

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.

Updated 3 weeks ago
365 39

CrystFEL

CR

CrystFEL is a suite of programs to process data from "serial crystallography" experiments.

Updated 4 weeks ago
254 25

FastSurfer

FA

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.

Updated 2 weeks ago
157 9

matRad

MA

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

Updated 7 months ago
149 1

PDAF

PD

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.

Updated 1 month ago
121 3

AROSICS

AR

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

Updated 1 week ago
115 1

DataLad

DA

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.

Updated 6 days ago
110 51

JEMRIS

JE

JEMRIS is a versatile, open-source, multi-purpose MRI simulator. It is well-suited for research and education.

Updated 3 weeks ago
90 2

Allpix Squared

AL

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.

Updated 4 weeks ago
67 58

Earth System Model Evaluation Tool (ESMValTool)

EA

Updated 1 month ago
62 17