Explore projects

Isabelle server orchestrator and load balancer

Proofbuddy and related software packaged via nix

A light-weight streaming library for the ISDA course at TU Berlin.

A collection of tools for creating and analyzing Moodle quizzes.