Explore projects

A collection of tools for creating and analyzing Moodle quizzes.

Analysis and trajectory planning for discrete-event systems defined by time window constraints

tuTRACK public.

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

hms++ is a Godunov-type Shallow Water Equations solver with a focus on investigating computational performance. It is written in C++ and fully open-source (GPLv3). Documentation: https://wahyd.gitlab-pages.tu-berlin.de/hmspp/hms/

Lesefassungen von Vorschriften an der TU Berlin.

Proofbuddy and related software packaged via nix

Isabelle server orchestrator and load balancer