All software
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
Tigramite
Tigramite is a python package for causal inference with a focus on time series data. It allows to efficiently estimate causal graphs from high-dimensional time series datasets (causal discovery) and to use graphs for the estimation and prediction of direct, total, and mediated effects.
- causal inference
- python
- time series analysis
- Jupyter Notebook
- Python
UQTestFuns
A Python3 library of uncertainty quantification (UQ) test functions
- Benchmark
- python
- Software Testing
- + 1
- Python
- TeX
Viable North Sea (ViNoS): A NetLogo Agent-based Model of German Small-scale Fisheries
A Social-Ecological Systems (SES) model focussing on the adaptive behaviour of fishers facing regulatory, economic, and resource changes.
- Agent-based Model
- Earth&Environment
- FAIR Software
- + 10
VRE-Language
A family of domain-specific languages and supporting tools for scientific computing, materials modeling and data analysis. The VRE Language supports the full data lifecycle of computational models in a user-friendly manner.
- domain-specific language
- high-performance computing
- Interpreter
- + 4
- Python
3D Earthquake Explorer
A web application for the three dimensional visualisation of earthquake hypocentres and their focal mechanisms based on the FDSN API.
- Earth & Environment
- Focal mechanisms
- JavaScript
- Python
- HTML
- + 2
CICMoD - A Climate Index Collection based on Model Data
The software provides a consistent and comprehensive collection of climate indices typically used to describe Earth System dynamics and serves as a new benchmark data set. It allows users to develop new machine learning methods and to compare their results to existing methods in an objective way.
- Earth & Environment
- FAIR Data
- Image processing
- + 1
- Jupyter Notebook
- Python
- Shell
- + 1
cnpy++
cnpy++ is a C++17 library that allows to read and write NumPy data files (.npy and .npz). It is designed in a way to integrate well into the modern C++ ecosystem and it provides features not available in any similar C++/npy library.
- data managment
- C++
- CMake
- C
Constellation
Control and data acquisition system for small-scale experiments and experimental setup with volatile and dynamic constituents such as test beam environments or laboratory test stands
- DAQ
- DCS - Distributed Control System
- Matter
- + 2
- C++
- Python
- Meson
- + 2
dCache
dCache is a system for storing and retrieving huge amounts of scientific data, distributed among a large number of heterogeneous server nodes, under a single virtual filesystem tree with a variety of standard access methods including NFSv4.1 (pNFS), FTP, WebDav and xroot.
- data managment
- FAIR Data
- Java
- HTML
- JavaScript
- + 14
EnPT
The Environmental Mapping and Analysis Program (EnMAP) is a German hyperspectral satellite mission that aims at monitoring and characterising Earth’s environment on a global scale. EnMAP measures and models key dynamic processes of Earth’s ecosystems by extracting geochemical, biochemical and biophy
- Earth & Environment
- EnMAP
- Hyperspectral
- + 2
- Python
- Makefile
- Shell