Explore projects

Grammatical inference using the Z3 SMT solver

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

Library containing support for several sensors on the raspberry pi

Scripts used in termux to glue everything together

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