Explore projects

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

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

Proofbuddy and related software packaged via nix

CORE - Python library for implementing PneumaticBox clients

The packages provide a convenient interface to the airserver process on the RBO Lab's Pneumaticbox system

Lesefassungen von Vorschriften an der TU Berlin.

Isabelle server orchestrator and load balancer

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