Explore projects

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

This project has been moved to GitLab.com.

Python+Java tool for learning TCP implementations

Clean compiler

Scripts and tools to compile Clean for multiple platforms (e.g. Linux, Windows and Android).

Implementation of PEP primitives including zero knowledge proofs, based on the Ristretto version of libsodium.

Tight-binding Propagation Simulator for python 3.

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.

Hands on Matlab tutorial for single cell data analysis