Tomte is a tool that fully automatically constructs abstractions for automata learning.
Python+Java tool for learning TCP implementations
The Clean platform is a collection of multi-platform general purpose libraries for Clean.
Some of the scripts used for the RERS challenge 2016
Tight-binding Propagation Simulator for python 3.
Implementation of elliptic curve cryptography using the Renes-Costello-Batine addition laws
MQTTClient implementation for iTasks using WolfMQTT
The Perception and Action Toolbox
Cryptographic Engineering homework 4