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
ehrapy
ehrapy is a modular open-source Python framework designed for exploratory end-to-end analysis of heterogeneous epidemiology and electronic health record data.
- Data analysis
- open source
- python
- Python
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
mallocMC
This project provides a framework for fast memory managers on many core accelerators. It is based on alpaka to run on many different accelerators and implements the ScatterAlloc algorithm.
- CUDA
- heterogeneous computing
- High performance computing
- + 2
- C++
- CMake
- Cuda
- + 1
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
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
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
- Jupyter Notebook
- TeX
KaRRi - Karlsruhe Rapid Ridesharing
KaRRi is a state-of-the-art dispatcher for the dynamic taxi sharing problem with meeting points. KaRRi utilizes highly engineered many-to-many shortest path queries to compute optimal assignments of riders to vehicles and according meeting points within milliseconds.
- algorithm engineering
- algorithms
- Future Mobility
- + 11
- C++
- CMake
- Shell
- + 3
pid-component
The pid-component is an easy to use web component that can be used to display PIDs, DOIs, ORCiDs, RORs, and other identifiers in an intuitive way. It is designed to be embeddable in any website and has a small form-factor mode that reduces its height to that of a single line of text.
- Angular
- Data Visualization
- FAIR
- + 19
- TypeScript
- MDX
- Vue
- + 4
RAYX
Optical Simulation Software for Synchrotron Radiation
- C++
- open source
- python
- + 4
- C++
- Python
- CSS
- + 8
TrixiParticles.jl
Particle-based multiphysics simulations in Julia
- CFD
- Earth & Environment
- Information
- + 2
- Julia
VASCA
The VAriable Source Cluster Analysis (VASCA) is an astronomy pipeline for time-variable sources.
- Astronomy
- catalogue
- Data analysis
- + 6
- Jupyter Notebook
- Python