Explore projects

Lesefassungen von Vorschriften an der TU Berlin.

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.

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