Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
An interpreter for the ABC language with Clean bindings to allow cross-platform communication of lazy expressions
-
-
Deprecated. The first attempt at a cost analysis for iTasks
-
Interpreter for my mapper language for abstraction in automata learning.
-
-
-
Active Learning of NOndeterministic Systems
-
-
-
-
Haskell implementation of Tasks
-
ARM implementation of the ChaCha20 block cipher
-
-
-
-
-
-
