Explore projects

Clean compiler

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.

Small tool to semi-automatically calibrate and correct for magnetoresistance in temperature sensors

public README

Latex class voor de RU biref stijl

A python program to make plots of the response of a VSM's pickup coil as a function of the position