Explore projects

Isabelle server orchestrator and load balancer

Proofbuddy and related software packaged via nix

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

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

Lesefassungen von Vorschriften an der TU Berlin.

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

T3.3. Raman: Implementation of mock signals as spectrophotometer is not there yet M3.3.1. Raman: Implementation of mock signals as spectrophotometer is not there yet T3.4 Sensor calibration: correction of on- and at-line signals for correct measureme