Explore projects
-
ProveIT / Isabelle Server Manager
GNU Affero General Public License v3.0Isabelle server orchestrator and load balancer
Updated -
A container project that uses several tools to measure various graph parameters.
Updated -
Updated
-
-
Updated
-
ProveIT / isalink
GNU Affero General Public License v3.0Isabelle Server Client and Protocol library for Golang
Updated -
Updated
-
Updated
-
Updated
-
Joshua Balthasar Kobschätzki / pical
GNU Affero General Public License v3.0Plane Issues → iCalendar subscription gateway
Updated -
Updated
-
Updated
-
Updated
-
Jan Niklas Läpple / Real Time Offloading Distributed Scheduling
GNU General Public License v3.0 or laterUpdatedUpdated -
Updated
-
Lukas Maximilian Klapproth / AlgProc2024_pict
GNU General Public License v2.0 or laterUpdated