Make Thalia-website great again.

https://thalia.nu/docs/

The iTask framework for developing Task-Oriented Programs.

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

There’s an App for Everything

Python+Java tool for learning TCP implementations

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.

Active Learning of NOndeterministic Systems

Build and CI scripts for Clean

Implementation of elliptic curve cryptography using the Renes-Costello-Batine addition laws

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

Test techniques assignment 2

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

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