Explore projects

Isabelle Server Client and Protocol library for Golang

https://mathegebäu.de/bingo/

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

tuTRACK public.

ARCHIVE -

scaffolds and 3d models for RH3

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

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/