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
Cocoda
Web application to create, manage, and review mappings between entities from knowledge organization systems, such as classifications, authority files, ontologies, and thesauri.
- data modeling
- metadata
- open source
- + 1
- Vue
- JavaScript
- Shell
- + 4
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
- JavaScript
- HTML
- + 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
eXist-db
eXist-db is a high-performance open source native XML database – a NoSQL document database and application platform built entirely around XML technologies.
- NoSQL
- open source
- XML
- Java
- XQuery
- GAP
- + 11
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++
- TeX
- CMake
- + 3
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