Explore projects
-
Zusätzliche Übungsaufgaben für das Modul "Informationssysteme und Datenanalyse".
Updated -
These are the smart contracts used by advocate and the trust layer of TEADAL.
UpdatedUpdated -
A toolkit to provide verifiable and immutable records of execution in Kubernetes that turns observability data into verifiable credentials.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Isabelle server orchestrator and load balancer
Updated -
Proofbuddy and related software packaged via nix
Updated -
Updated
-
A container project that uses several tools to measure various graph parameters.
Updated -
Updated
-
A light-weight streaming library for the ISDA course at TU Berlin.
Updated