Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
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
-