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
PaN Training Catalogue for the Photon & Neutron Community
The PaN Training Catalogue is a fork from the TeSS Training Catalogue (ELIXIR) and was initially developed in our Photon and Neutron (PaN) projects ExPaNDS and PaNOSC.
- catalogue
- e-learning
- metadata
- + 3
- Ruby
- HTML
- JavaScript
- + 4
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
LLAMA
LLAMA is a cross-platform C++17/C++20 header-only template library for the abstraction of data layout and memory access. It separates the view of the algorithm on the memory and the real data layout in the background.
- C++
- heterogeneous computing
- High performance computing
- + 3
- C++
- CMake
- Shell
quapps
is a software package containing a collection of exemplary application implementations based on quark.
- Discrete Optimization
- Ising Problem
- Optimization Problem
- + 3
- Python
- Jupyter Notebook
- Shell
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
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
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