All software
KeY
KeY is a deductive verification system for Java programs
- Deductive Verification
- First-Order Logic
- Formal Verification
- + 3
- Java
- ANTLR
- Perl
- + 14
OpenGeoSys
OpenGeoSys (OGS) is a scientific open source project for the development of numerical methods for the simulation of thermo-hydro-mechanical-chemical (THMC) processes in porous and fractured media.
- Earth & Environment
- geotechnics
- geothermal modeling
- + 5
- C++
- AGS Script
- TypeScript
- + 2
Palladio
Palladio is a software architecture simulation approach which analyses software at the model level for performance bottlenecks, scalability issues, reliability threats, and allows for subsequent optimisation.
- Component-Based Software Engineering
- Information
- Modeling
- + 3
CrystFEL
CrystFEL is a suite of programs to process data from "serial crystallography" experiments.
- crystallography
- Matter
- structural biology
- + 2
- C
- Julia
- Python
- + 2
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
ETHOS.TSAM
tsam is a python package which uses different machine learning algorithms for the aggregation of time series.
- ESD
- ESD - Topic 1
- Python
- HTML
PIConGPU
PIConGPU is a relativistic Particle-in-Cell code running on graphic processing units as well as regular multi-core processors. It is Open Source und is freely available for download. It can be used to study plasmas with relativistic dynamics, solving the Maxwell-Vlasov system of equations.
- C++
- CPU
- GPU
- + 9
- C++
- Python
- Shell
- + 6
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
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
- + 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 ML techniques also markerless tracking is possible.
- Annotation
- Calibration
- Computer Vision
- + 20
- C++
- Python
- CMake
- + 2
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
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