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

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

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

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

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

Test techniques assignment 2

The Clean language search engine

An interpreter for the ABC language with Clean bindings to allow cross-platform communication of lazy expressions

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