Explore projects

A custom executor for gitlab that uses slurm plus enroot or singularity for containers. Tested on HoreKa and bwUniCluster2.0

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

KIT-CA interfaces that are exposed to users (mails, PDF forms, etc.).