Explore projects

Zusätzliche Übungsaufgaben für das Modul "Informationssysteme und Datenanalyse".

Isabelle server orchestrator and load balancer

Isabelle Server Client and Protocol library for Golang

A collection of tools for creating and analyzing Moodle quizzes.

Proofbuddy and related software packaged via nix

Please use the "development" branch for development at https://git.tu-berlin.de/kuflierl/uniminecraftpc/-/tree/develop