Explore projects

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

This repository hosts all lecture notes and exercises for the 2021 course Monte Carlo Techniques (NWI-NM042B).

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

Clean compiler

Python+Java tool for learning TCP implementations

Some of the scripts used for the RERS challenge 2016

ARM implementation of the ChaCha20 block cipher

Build and CI scripts for Clean

This project contains the Qhasm implementation I used in my Bachelor thesis

Docker image for the software security testcms.

Files belonging to submission 35 for NFM'21