Explore projects

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.).

Migration (Data transfer) of musica-iasi-h2oiso-postprocessing from pilot GitLab to new GitLab

Jupyter Notebooks für eine Einführung in die Beschleunigerphysik für Jugendliche ab 16 Jahren. Diese Sammlung wurde für den Beschleuniger Workshop des Science Camp (Astro-) Teilchenphysik 2025 erstellt.