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.

ASCA and related methods