All software
SUMO
Eclipse SUMO is an open source, highly portable, microscopic and continuous traffic simulation package designed to handle large networks. It allows for intermodal simulation including pedestrians and comes with a large set of tools for scenario creation.
- Aeronautics, Space and Transport
- Modelling
- open source
- + 2
- Python
- C++
- C
- + 14
Eventdisplay
Eventdisplay is a reconstruction and analysis pipeline for data of Imaging Atmospheric Cherenkov Telescopes (IACT).
- Astronomy
- Data analysis
- gamma-ray telescopes
- C++
- C
- Makefile
- + 3
Kaapana
Kaapana is an open source toolkit for state of the art platform provisioning in the field of medical data analysis. The applications comprise AI-based workflows and federated learning scenarios with a focus on radiological and radiotherapeutic imaging.
- data managment
- Federated Learning
- Image processing
- + 2
- Python
- Vue
- Shell
- + 14
SARvey - survey with SAR
SARvey is an open-source InSAR time series analysis software which aims to analyze InSAR displacement time series for engineering applications.
- displacement
- engineering
- InSAR
- + 6
- Python
- Makefile
- Shell
pydidas
Pydidas (Python diffraction data analysis suite) is a toolkit for the analysis of X-ray diffraction datasets. It is designed to be accessible also for domain scientists with little experience in diffraction data analysis. Pydidas includes a graphical user interface and a command line interface.
- SAXS
- WAXS
- X-ray diffraction analysis
- + 1
- Python
- Batchfile
- Makefile
- + 1
eCLM
The enCore Community Land Model (eCLM) is based on the Community Land Model version 5, representing land surface processes including hydrology, biogeophysics, biogeochemistry and ecosystem dynamics.
- Biogeochemistry
- Earth System Modelling
- FAIR Software
- + 2
- Fortran
- CMake
- Perl
- + 6
Data Analytics Software Project - Python bindings
Python RPC wrapper for the data analytics software framework DASF
- Data analysis
- Data Analytics Software Framework (DASF)
- Digital Earth
- + 4
- Python
- Jinja
- BibTeX
- + 1
Tamarin Prover
The Tamarin Prover is a state-of-the-art tool for the analysis of security protocols, which underpin the security of modern distributed computing.
- Cryptographic Protocols
- Formal Verification
- Information
- Haskell
- Python
- JavaScript
- + 11
TBT-Segmentation
Our tool uses Temporal Behavior Trees (TBT), a novel formalism for monitoring specifications, to segment traces provided as CSVs. Developers input a trace, and the tool analyzes it using a TBT to identify which parts of the software worked and which didn’t, aiding in system analysis and debugging.
- CPS
- Formal Specification
- monitoring
- + 2
- Rust
- Python
- Shell
- + 2
ELECTRODE
ELECTRODE extends the atomistic simulation tool LAMMPS to model different types of electrochemical situations. Simulations are performed at constant potential or constant charge using different approaches to control potential or charge at the electrodes.
- Constant Potential Method
- Electrochemistry
- Molecular Dynamics
- C++
- Tcl
- C
- + 26
Independent Parallel Particle Layer (IPPL)
IPPL is a C++ library to develop performance portable code for fully Eulerian, Lagrangian or hybrid Eulerian-Lagrangian methods. IPPL supports simulations in one to six dimensions, mixed precision, and asynchronous execution in different execution spaces (e.g. CPUs and GPUs).
- Computational Fluid Dynamics
- GPU
- High performance computing
- + 5
- C++
- CMake
- Shell
- + 3
CollateX
CollateX is a software to (a.) read multiple versions of a text, (b.) identify differences by aligning tokens, and (c.) output the alignment results for further processing, for instance (d.) to support the production of a critical apparatus or the stemmatical analysis of a text's genesis.
- Critical Edition
- Stemmatology
- Textual Criticism
- HTML
- Java
- Python
- + 8