Limited functionality: Your browser does not support JavaScript.

All software

0Filters

Order by

Keywords

522

Program languages

102

Licenses

Page 1 of 198 results

ODV

Ocean Data View (ODV) - Interactive exploration, analysis and visualization of oceanographic and other environmental data.

Data analysis
Data Visualization
Earth & Environment
+ 1

1429

KeY

KeY is a deductive verification system for Java programs

Deductive Verification
First-Order Logic
Formal Verification
+ 3

Java
HTML
ANTLR
+ 14

776

NEST

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.

Computational neuroscience
exascale
Modeling
+ 3

C++
Python
CMake
+ 3

119

542

Score-P

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.

hpc
Information
instrumentation
+ 5

C
C++
M4Sugar
+ 2

376

CrystFEL

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

crystallography
Matter
structural biology
+ 2

C
Python
Shell
+ 2

293

PeTrack

PeTrack (Pedestrian Tracking) automatically extracts accurate pedestrian trajectories from video recordings (calibration, recognition, tracking). Individual codes enable personalized trajectories with static information of each participant. With a stereo camera also markerless tracking is possible.

Calibration
Correction
Crowd
+ 6

C++
Python
CMake
+ 2

290

CryoGrid

The CryoGrid Model Suite provides a set of numerical tools for simulating the thermal soil regime and the ice-water balance for permafrost and glaciers. Depending on the application needs different model tools are offered, characterized by different levels complexity and modularity.

Climate
Earth & Environment
Modeling
+ 1

MATLAB
HTML
Mercury
+ 2

257

FastSurfer

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.

Data analysis
Deep Learning
Image processing
+ 3

Jupyter Notebook
Python
Shell
+ 1

157

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
C++
Shell

149

CADET

CADET is a fast and accurate solver for a comprehensive model family of biotechnological processes. Applications include chromatography, filtration, crystallization, and fermentation. The open source software implements state-of-the-art mathematical algorithms and scientific computing techniques.

adsorption
chromatography
compartment modelling
+ 4

C++
MATLAB
CMake
+ 1

126

PDAF

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.

data assimilation
Ensemble Kalman Filter
uncertainty quantification
+ 1

Fortran
Shell
Makefile
+ 4

125

AROSICS

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

Earth & Environment
Fourier Shift Theorem
Geometric Pre-processing
+ 8

Python
Makefile
Shell

122