All software
DUNE (Distributed and Unified Numerics Environment)
DUNE, the Distributed and Unified Numerics Environment, is a modular toolbox for solving partial differential equations (PDEs) with grid-based methods. It supports the easy, flexible, and efficient implementation of finite element and volume methods. DUNE is C++ code and also has a Python interface.
- C++
- Grid-based PDE methods
- High performance computing
- + 5
- (C++)
- (CMake)
- (Hack)
- + 2
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
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 ML techniques also markerless tracking is possible.
- Annotation
- Calibration
- Computer Vision
- + 18
- C++
- Python
- CMake
- + 2
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
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
DataSHIELD
DataSHIELD ecosystem is an infrastructure and series of R packages that enables the remote and non-disclosive analysis of sensitive research data. It has been used with real world and consented research data for over 10 years.
- data privacy
- OpenSource
- R
- R
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
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
KeYmaera X
An aXiomatic Tactical Theorem Prover for Hybrid Systems
- Axiom
- Differential Dynamic Logic
- Hybrid Systems
- + 3
- Scala
- JavaScript
- Mathematica
- + 7