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.
Computer Science Master's Thesis
Active Learning of NOndeterministic Systems
Haskell implementation of Tasks
ARM implementation of the ChaCha20 block cipher
Assignment 2 for the Operating Systems course.