Explore projects

Attack Range Open Stack

Repository of the DDE lecture series offered at KIT

An archive maintaining a history all important NETDB API definitions since 2024-10-08. Pushes to prod and devel are only done by the CI job defined in the orphan branch "dump".

VRE-Language: A family of domain-specific languages and supporting tools for scientific computing, materials modeling and data analysis

FAIRO metadata

Python bindings for the awesome KIT Gruppenverwaltung REST API.

VRE-Middleware: CLI, GUI and Python API for a platform consisting of HPC clusters with resource management system Slurm, workflow management system FireWorks, and MongoDB database

The HRT Imaging Tool (or simply HIT) implements algorithms to create mosaic images from image datasets acquired with the HRT. The algorithms have been developed for datasets of corneal tissue which are imaged using the RCM or the RCM2.0.

Hands-on session covering Isabelle & the refinement framework at the group's retreat 2025