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
- + 5
oraqle
Oraqle: A Depth-Aware Secure Computation Compiler
- arithmetization
- compiler
- cryptography
- + 1
- C++
- Jupyter Notebook
- Markdown
- + 4
SO-CRYSTAL
Code underlying: Shape Optimization of Scintillation Crystals through GEANT4 and NSGAII (SO-CRYSTAL)
- Finite-difference time-domain method
- Genetic algorithms
- Material properties
- + 2
- C++
- Markdown
- Other
- + 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
duqtools
Duqtools is a tool for Dynamic Uncertainty Quantification for Tokamak reactor simulations modelling.
- fusion-reactor
- modelling
- python
- + 2
- Jupyter Notebook
- Python
- Shell
eEcology Tracker calendar
Calendar overview with daily statistics of GPS-trackers used to track bird movements.
- Visualization
- CSS
- JavaScript
- Makefile
- + 5
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
fairtally
Create comprehensive reports on compliance with the fair-software.nl recommendations.
- Dockerfile
- Python
- Shell
fairworkflows
A python library for constructing, annotating and publishing scientific workflows described using semantic technologies.
- Common Workflow Language
- HTML
- Python
- + 1
frbcatdb
A database to store a catalog of Fast Radio Bursts and expose them as Virtual Observation Events.
- Optimized data handling
- Python
- Shell