Explore projects

Python+Java tool for learning TCP implementations

Clean compiler

http://tomte.cs.ru.nl/ Tomte is a tool that fully automatically constructs abstractions for automata learning.

Some of the scripts used for the RERS challenge 2016

Clean make

Clean codegenerator

Run-time system for the Clean programming language

Some of the scripts used for the RERS challenge 2016

Clean make

Implementation of PEP primitives including zero knowledge proofs, based on the Ristretto version of libsodium.

Leaderboard based on Python (Flask) where students can submit code assignments and see how their performance metrics compare to other students.

Clean IDE