Email Matrix
A supervisor and gateway for running a cluster of isabelle servers. Builds on top of systemd and docker to provide secure scaling with load balancing capabilities. Developed for the ProofBuddy project at TU Berlin.
Experiments and other code are hosted on my GitLab instance: