Discover projects, groups and snippets. Share your projects with others
This project has been moved to GitLab.com.
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
Visualization Tool for arrays from the SaC Programming Language.
Assembly DSL for why3