Make Thalia-website great again.

https://thalia.nu/docs/

The iTask framework for developing Task-Oriented Programs.

There’s an App for Everything

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

Python+Java tool for learning TCP implementations

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.

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

Build and CI scripts for Clean

A collection of some mealy machines in .dot format.

simple static html to display an analog or digital clock in full screen

Tweeting pictures as unicode text

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