Explore projects

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

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

scripts to setup domjudge on a single linux machine

Some of the scripts used for the RERS challenge 2016

Windows subsystem for Linux app bundle installation script - debian

Build and CI scripts for Clean

Library containing support for several sensors on the raspberry pi

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

Scripts used in termux to glue everything together