All software
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
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
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
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
CollateX
CollateX is a software to (a.) read multiple versions of a text, (b.) identify differences by aligning tokens, and (c.) output the alignment results for further processing, for instance (d.) to support the production of a critical apparatus or the stemmatical analysis of a text's genesis.
- Critical Edition
- Stemmatology
- Textual Criticism
- HTML
- Java
- Python
- + 8
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