Explore projects

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

The Perception and Action Toolbox

Python+Java tool for learning TCP implementations

Some of the scripts used for the RERS challenge 2016

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

iTasks Android app

The Clean platform is a collection of multi-platform general purpose libraries for Clean.

Implementation of elliptic curve cryptography using the Renes-Costello-Batine addition laws

Tight-binding Propagation Simulator for python 3.

Clean codegenerator

Run-time system for the Clean programming language

Clean compiler

Clean IDE

Clean libraries and examples