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