Explore projects
-
Updated
-
ProveIT / proveit.nix
GNU Affero General Public License v3.0Proofbuddy and related software packaged via nix
Updated -
DIMA / Moodle Tools
Apache License 2.0This repository contains a collection of tools to simplify working with Moodle quizzes.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
BVT-HTBD / KIWI / TF3 / raman-hive
MIT LicenseInterface to the database where wer store the Raman spectra.
Updated -
Updated
-
dbta / Optimization / mopeds
MIT LicenseUpdated -
-
Quick reference guide for hms++. Contains information on download, installation, and usage.
Updated