Explore projects
-
A toolkit to provide verifiable and immutable records of execution in Kubernetes that turns observability data into verifiable credentials.
Updated -
Updated
-
-
Updated
-
Proofbuddy and related software packaged via nix
Updated -
Updated
-
Updated
-
CORE - Python library for implementing PneumaticBox clients
The packages provide a convenient interface to the airserver process on the RBO Lab's Pneumaticbox system
Updated -
A light-weight streaming library for the ISDA course at TU Berlin.
Updated -
A light-weight streaming library for the ISDA course at TU Berlin.
Updated -
UpdatedUpdated
-
Updated
-
CORE - Airserver process which runs on the pneumaticbox
Updated -