Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
Developments started in February 2020
-
Guide for installation of VNWA on linux.
-
Grammatical inference using the Z3 SMT solver
-
The iTask framework for developing Task-Oriented Programs.
-
The Clean platform is a collection of multi-platform general purpose libraries for Clean.
-
-
-
-
-
-
Clean compiler
-
-
-
-
-
The Clean language search engine
-
A Clean sandbox running completely in the browser. Available at clean.camilstaps.nl (if you're lucky).
-
An interpreter for the ABC language with Clean bindings to allow cross-platform communication of lazy expressions
