Explore projects

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

Python+Java tool for learning TCP implementations

Clean compiler

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

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

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

Developments started in February 2020

Tight-binding Propagation Simulator for python 3.