All software
METABOLATOR
Analysis of Microcalorimetric Metabolic Data Using Monod's Equation.
- curve fitting
- Data Science
- metabolic load
- + 1
- Python
- HTML
- Jupyter Notebook
PIA
The PIA Software is a Python analysis software to derive time series data (Level 1) and temperature spectra (Level 2) of INP concentrations from measurements with the PINE (Portable Ice Nucleation Experiment) instrument.
- Aerosol Research
- Data analysis
- INP
- + 2
- Python
PowerMarketSim
PowerMarketSim is a fundamental model of the European day-ahead market. It links decentralized bidding and market clearing via Lagrangian relaxation and represents cross-zonal constraints through congestion rents, producing realistic price signals and unit schedules.
- Energy
- ESD
- ESD - Topic 2
- + 2
- Python
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
SMG2S
SMG2S (Sparse Matrix Generator with Given Spectrum) is able to generate large-scale non-Hermitian and non-Symmetric matrices in parallel with the spectral distribution functions or eigenvalues given by users, and the spectrum of generated matrix is the same as the one specified by the users.
- CPU
- High performance computing
- Matrix Computation
- + 1
- C++
- Python
- CMake
- + 1
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
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