Explore projects
-
-
Updated
-
Analysis and trajectory planning for discrete-event systems defined by time window constraints
Updated -
Updated
-
-
-
A light-weight streaming library for the ISDA course at TU Berlin.
Updated -
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/
Updated -
-
Updated
-
Proofbuddy and related software packaged via nix
Updated -
Isabelle server orchestrator and load balancer
Updated