All software
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
cnpy++
cnpy++ is a C++17 library that allows to read and write NumPy data files (.npy and .npz). It is designed in a way to integrate well into the modern C++ ecosystem and it provides features not available in any similar C++/npy library.
- data managment
- C++
- CMake
- C
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
- Shell
- + 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
ePowCoRe
A generic representation of power grids, enabling open-source model conversion modules for common open and proprietary modeling tools.
- Energy
- ESD
- python
- Python
- MATLAB
ETHOS.PeNALPS
ETHOS.PeNALPS (Petri Net Agent based Load Profile Simulator) is a Python library for the simulation of load profiles of plants of industrial manufacturing processes. Load profiles are energy demand time series.
- Energy System Analysis
- ESD
- ESD - Topic 1
- + 4
- Python
- TeX
GravIS
GravIS visualizes and describes Level-3 products based on the most recent GRACE and GRACE-FO data release from GFZ and the Combination Service for Time-Variable Gravity Fields (COST-G) of the International Gravity Field Service (IGFS).
- Data Visualization
- Earth & Environment
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