Explore projects
-
-
Updated
-
Implementing the L* learning algorithm for nominal automata, using the ONS library
Updated -
-
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.
Updated -
Updated
-
Updated
-
This contains the code for the Arduino, to control the Dobot Magician.
Updated -
-
-
Updated
-
Hybrid adaptive distinguishing sequences for FSM-based complete testing
Updated -
This repository hosts all lecture notes and exercises for the 2021 course Monte Carlo Techniques (NWI-NM042B).
Updated -
Updated
-
Updated
-
C++ crash reporting library for UNIX systems (macOS/Linux/FreeBSD)
Updated -
Updated
-
Code used in the internship project Simulating Random Triangulations. Made by Timothy Budd and altered for the project by Anna van Asselt
Updated