Explore projects

Grammatical inference using the Z3 SMT solver

http://cncz.science.ru.nl en https://home.cncz.nl

Tweeting pictures as unicode text

The Weighted AUReC implementation used for the experiments in the ECIR 2024 short paper.

článek - markdown verze (czech)

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

Tight-binding Propagation Simulator for python 3.

Tight-binding Propagation Simulator for python 3.

Spark project accompanying thesis document