Explore projects

http://cncz.science.ru.nl en https://home.cncz.nl

Build and CI scripts for Clean

Implementing the L* learning algorithm for nominal automata, using the ONS library

scripts to setup domjudge on a single linux machine