Explore projects

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

Clean compiler

Firmware for single board computer hardware specifically made for the biophysics experimental setups. Typically runs on Raspberry Pi and Arduino boards. For communication we use LabStreamingLayer (LSL), ZeroMQ and the Boost framework.

This project has been moved to GitLab.com.

Grammatical inference using the Z3 SMT solver

This project has been moved to GitLab.com.