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

Hands on Matlab tutorial for single cell data analysis

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

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.

Developments started in February 2020

Tight-binding Propagation Simulator for python 3.