Explore projects

This repo has been migrated to GitHub: https://github.com/thaliawww/concrexit

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

Python+Java tool for learning TCP implementations

This project has been moved to GitLab.com.

Software to run the pipelines, work with database, etc.

Clean compiler

This project has been moved to GitLab.com.

http://tomte.cs.ru.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).