Explore projects

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

These are the smart contracts used by advocate and the trust layer of TEADAL.

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

Isabelle server orchestrator and load balancer

Proofbuddy and related software packaged via nix

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

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