Explore projects

Grammatical inference using the Z3 SMT solver

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

Windows subsystem for Linux app bundle installation script - debian

I have given several workshops on how to use Git at the Radboud University, here are my resources for that

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

... test wiki

Tweeting pictures as unicode text

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

https://cncz.pages.science.ru.nl/wallpapers

článek - markdown verze (czech)

Guide for installation of VNWA on linux.