The iTask framework for developing Task-Oriented Programs.

The Clean platform is a collection of multi-platform general purpose libraries for Clean.

Python+Java tool for learning TCP implementations

Basic learner setup, using learnlib/automatalib, containing an example SUL and a socket-interface to connect a SUL over TCP.

Active Learning of NOndeterministic Systems

Build and CI scripts for Clean

An expansion/adjustment of the ads algorithm from Lee/Yannakakis. Heavily builds upon the existing implementation found at https://gitlab.science.ru.nl/moerman/hybrid-ads.

Cheat sheets about the Clean run-time system

Thesis info and data index

Test techniques assignment 2

library for creating and using statemachines : lts,fsm and efsm

Tweeting pictures as unicode text

compiler project for compiler construction course in Rust