Explore projects

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.

Python toolbox to manipulate untimed Petri nets and timed event graphs in the max-plus and min-plus algebra