All software
ShockHash
A perfect hash function is a function that has no collisions on a given set. ShockHash constructs very compact perfect hash functions significantly faster than previous approaches.
- C++
- CMake
- Shell
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
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
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
KaRRi - Karlsruhe Rapid Ridesharing
KaRRi is a state-of-the-art dispatcher for the dynamic taxi sharing problem with meeting points. KaRRi utilizes highly engineered many-to-many shortest path queries to compute optimal assignments of riders to vehicles and according meeting points within milliseconds.
- algorithm engineering
- algorithms
- Future Mobility
- + 11
- C++
- CMake
- Shell
- + 3
PeriHub
PeriHub is a platform that provides a numerical implementation of the peridynamic theory. It is an extension of the open source Peridigm software. Peridynamics is a non-local theory that overcomes discontinuity problems of the classical theory of continuum mechanics.
- Data Visualization
- High performance computing
- Modelling
- + 2
- Python
- Vue
- TypeScript
- + 7
PostWRF
PostWRF is a bunch of interactive tools, written in NCL and Bash scripts, to visualize and post-process the WRF and ERA5 model outputs.
- NCL
- Shell
- Python
quark
is a software package to support the mapping of combinatorial optimization problems to quantum computing interfaces via QUBO and Ising problems.
- Discrete Optimization
- Ising Problem
- Quantum Annealing
- + 2
- Python
- Shell
RAYX
Optical Simulation Software for Synchrotron Radiation
- C++
- open source
- python
- + 4
- C++
- Python
- CSS
- + 8