Explore projects
-
-
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
-
Updated
-
Updated
-
The Nuvel Engine itself. This is the Java version
Updated