Explore projects
-
Updated
-
Documentation and configuration for our Raspberry Pi cluster. Our cluster is intended for testing and education.
Updated -
Updated
-
-
Updated
-
Updated
-
Updated
-
An Agda development of set theory inside homotopy type theory.
Updated -
Updated
-
Updated
-
uib-ub / D-lab / Python Programming for the Humanities - Course 2021v
Creative Commons Attribution 4.0 InternationalUpdated -
Updated
-
Sander Wiig / Prototyping Generics in LFortran
MIT LicenseImplementing generics in LFortran
Updated -
Updated