Explore projects
-
-
Updated
-
Isabelle server orchestrator and load balancer
Updated -
Updated
-
Proofbuddy and related software packaged via nix
Updated -
Updated
-
Updated
-
Updated
-
A toolkit to provide verifiable and immutable records of execution in Kubernetes that turns observability data into verifiable credentials.
Updated -
Updated
-
This repository contains a collection of tools to simplify working with Moodle quizzes.
Updated -
A container project that uses several tools to measure various graph parameters.
Updated