GitLab

Python+Java tool for learning TCP implementations

Build and CI scripts for Clean

Active Learning of NOndeterministic Systems

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

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.

compiler project for compiler construction course in Rust

library for creating and using statemachines : lts,fsm and efsm

Latex class voor de RU biref stijl

Tweeting pictures as unicode text

Please go to https://gitlab.science.ru.nl/moerman/hybrid-ads

A collection of some mealy machines in .dot format.

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

TUI for marietje-zuid