Explore projects

C++ crash reporting library for UNIX systems (macOS/Linux/FreeBSD)

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

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

Hybrid adaptive distinguishing sequences for FSM-based complete testing

Clean compiler

Clean make

This contains the code for the Arduino, to control the Dobot Magician.

An expansion/adjustment of the ads algorithm from Lee/Yannakakis. Heavily builds upon the existing implementation found at https://gitlab.science.ru.nl/moerman/hybrid-ads.

gimp plugin dcamnoise,

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