Explore projects

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/

A toolkit to provide verifiable and immutable records of execution in Kubernetes that turns observability data into verifiable credentials.

tuTRACK public.

Proofbuddy and related software packaged via nix

A container project that uses several tools to measure various graph parameters.