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 -
Updated
-
Updated
-
BVT-HTBD / KIWI / TF3 / raman-hive
MIT LicenseInterface to the database where wer store the Raman spectra.
Updated -
Updated
-
Updated
-
ProgPrak QuestionPy SoSe 2024 / Single Choice
MIT LicenseUpdated -
Updated
-
Updated