Explore projects
-
-
Updated
-
Updated
-
Updated
-
The Clean platform is a collection of multi-platform general purpose libraries for Clean.
Updated -
-
Updated
-
Markus Klinik / program-analysis
MIT LicenseA compiler and static cost analyzer for a simplified variant of iTasks
Updated -
Experimentation with providing customised compile errors for tagless eDSL's
Updated -
-
-
-
-
Library containing support for several sensors on the raspberry pi
Updated -
Public gitlab with iTask code examples for dynamic editors.
Updated -
Updated
-
Updated
-
Updated
-
Updated