Explore projects

Grammatical inference using the Z3 SMT solver

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

Gitlab repo for the git tutorial

Shared library files (for e.g. LaTeX)

MarietjePRISpy

TUI for marietje-zuid

This project has been moved to GitLab.com.

Clide a CLean IDE (eclipse plugin)