All software
ASPECT - The Advanced Solver for Planetary Evolution, Convection, and Tectonics
ASPECT is a code to simulate convection and tectonic processes in the Earth and other planetary bodies. It has grown from a mantle-convection code into a tool for many geodynamic applications, like glacial isostatic adjustment, lithospheric scale deformation, ore formation and two-phase flow.
- C++
- CFD
- Computational Fluid Dynamics
- + 6
- C++
- Python
- CMake
- + 10
JPlag
JPlag is one of the most popular source code plagiarism detection systems worldwide.
- Automated Obfuscation Attack
- Collusion Detection
- Data analysis
- + 10
- Java
- ANTLR
- Vue
- + 16
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
DataLad
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.
- DataLad
- data managment
- data sharing
- + 8
- Python
- Shell
- Makefile
- + 4
Score-P
Score-P 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
- Fortran Free Form
- M4Sugar
- + 2
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.
- Annotation
- Calibration
- Computer Vision
- + 17
- C++
- Python
- CMake
- + 2
IGMAS+
IGMAS+ (Interactive Gravity and Magnetic Application System) is a software combining 3-D forward and inverse modeling, interactive visualization and interdisciplinary interpretation of potential fields and their applications under geophysical and geological data constrains.
- 3D
- Cross-platform
- Earth & Environment
- + 8
DuMux
DuMux - DUNE for Multi-{Phase, Component, Scale, Physics, …} flow and transport in porous media and more. The swiss army knife of porous media research. Open-source simulator in modern C++.
- Earth and Environmental Sciences
- Engineering
- Finite volume method
- + 9
- (C)
- (C++)
- (CMake)
- + 2
ESMValTool
The Earth System Model eValuation Tool is a community diagnostics and performance metrics tool for the evaluation of Earth System Models that allows for routine comparison of models and observations.
- Big data
- Optimized data handling
- Visualization
- + 1
- (Dockerfile)
- ("Emacs Lisp")
- (Jinja)
- + 7
KeYmaera X
An aXiomatic Tactical Theorem Prover for Hybrid Systems
- Axiom
- Differential Dynamic Logic
- Hybrid Systems
- + 3
- Scala
- JavaScript
- Mathematica
- + 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
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