Explore projects

tuTRACK public.

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.

This repository contains a collection of tools to simplify working with Moodle quizzes.

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