Explore projects

Grammatical inference using the Z3 SMT solver

Windows subsystem for Linux app bundle installation script - debian

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

Scripts for generating offline or self-hosted slippy maps.

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

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

Helper script to manage VNC servers on a cluster.

Files belonging to submission 35 for NFM'21

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.

This repository contains the source code and other files used for the thesis "Text Mining Pathology Reports", written by Josien Visschedijk. NB: The actual data an other private data is not available!