Explore projects
-
DIMA / Moodle Tools
Apache License 2.0A collection of tools for creating and analyzing Moodle quizzes.
Updated -
ProveIT / Isabelle Server Manager
GNU Affero General Public License v3.0Isabelle server orchestrator and load balancer
Updated -
Updated
