Explore projects
-
ProveIT / isalink
GNU Affero General Public License v3.0Isabelle Server Client and Protocol library for Golang
Updated -
ProveIT / Isabelle Server Manager
GNU Affero General Public License v3.0Isabelle server supervisor and load balancer
Updated -
TEADAL / Advocate
MIT LicenseA toolkit to provide verifiable and immutable records of execution in Kubernetes that turns observability data into verifiable credentials.
Updated -
DIMA / Moodle Tools
Apache License 2.0This repository contains a collection of tools to simplify working with Moodle quizzes.
Updated -
dbta / Templates and Websites / Thesis Template
BSD 2-Clause "Simplified" LicenseLaTeX template, can be used for bachelor's thesis/master's thesis/dissertations
Updated -
Updated
-