Make Thalia-website great again.

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

There’s an App for Everything

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

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.

Build and CI scripts for Clean

Demo source code for the exercise class of the course Compiler Construction.

Latex class voor de RU biref stijl

compiler project for compiler construction course in Rust

A collection of some mealy machines in .dot format.

Please go to https://gitlab.science.ru.nl/moerman/hybrid-ads

Cheat sheets about the Clean run-time system