Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
The iTask framework for developing Task-Oriented Programs.
-
Clean compiler
-
-
-
An interpreter for the ABC language with Clean bindings to allow cross-platform communication of lazy expressions
-
The Clean platform is a collection of multi-platform general purpose libraries for Clean.
-
Webserver that collects minimal data on irma servers (admin email if specified + version number)
-
Build and CI scripts for Clean
-
Clean make
-
Generate and run Gast tests from properties defined in Clean definition modules
-
Clean IDE
-
The G∀ST testing framework for Clean
-
The Clean language search engine
-
Clean StdEnv
