A supervisor and gateway for running a cluster of isabelle servers. Builds on top of Incus to provide secure scaling with load balancing capabilities. Developed for the ProveIT project at TU Berlin.
The Coderdojo Red & Blue hosts workshops for teenagers to learn about coding. I’m responsible for maintaining the infrastructure powering most Coderdojo projects. Additionally, I created the current site layout and sometimes help with workshops.