Explore projects

A light-weight streaming library for the ISDA course at TU Berlin.

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

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

A Fog Replicated Datastore (FReD) - https://openfogstack.github.io/FReD/

⚠️ This repository has been moved to https://github.com/innodoc/innodoc-webapp

HTML viewer for interactive educational content.

Solving Inverse Problems with Regularization by Diffusion Models

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

Proofbuddy and related software packaged via nix

CORE - Airserver process which runs on the pneumaticbox

Isabelle server orchestrator and load balancer