Explore projects
-
-
Updated
-
Quick reference guide for hms++. Contains information on download, installation, and usage.
Updated -
dbta / Optimization / mopeds
MIT LicenseUpdated -
ProveIT / proveit.nix
GNU Affero General Public License v3.0Proofbuddy and related software packaged via nix
Updated -
Cedric William Kessler / elphy-openbis-doc
MIT LicenseUpdated -
ProveIT / Isabelle Server Manager
GNU Affero General Public License v3.0Isabelle server supervisor and load balancer
Updated -
Updated
-
DIMA / Moodle Tools
Apache License 2.0This repository contains a collection of tools to simplify working with Moodle quizzes.
Updated -
TEADAL / Advocate
MIT LicenseA toolkit to provide verifiable and immutable records of execution in Kubernetes that turns observability data into verifiable credentials.
Updated