This repo has been migrated to GitHub: https://github.com/thaliawww/concrexit
http://cncz.science.ru.nl en https://home.cncz.nl
Tomte is a tool that fully automatically constructs abstractions for automata learning.
This repository hosts all lecture notes and exercises for the 2021 course Monte Carlo Techniques (NWI-NM042B).
Python+Java tool for learning TCP implementations
This project has been moved to GitLab.com.
The Clean platform is a collection of multi-platform general purpose libraries for Clean.
Some of the scripts used for the RERS challenge 2016
Helper script to manage VNC servers on a cluster.