Explore projects

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

A decentralized, fault tolerant and web-friendly file system based on torrents

Basic learner setup, using learnlib/automatalib, containing an example SUL and a socket-interface to connect a SUL over TCP.

Active Learning of NOndeterministic Systems

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

Latex class voor de RU biref stijl

public README

Clean compiler

Python+Java tool for learning TCP implementations