Explore projects

Python+Java tool for learning TCP implementations

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

The Perception and Action Toolbox

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

Developments started in February 2020

Clean compiler

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

MQTTClient implementation for iTasks using WolfMQTT