Explore projects

Attack Range Open Stack

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

Python code for managing GridKa node configurations stored in NetDoc.

Python library for reading and parse the RainQuest Hackathon organized by KCDS.

IAGOS-CARIBIC resources

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