Explore projects

This project has been moved to GitLab.com.

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

The Perception and Action Toolbox

A new SAPL interpreter written in C for cross-compiling it to asm.js

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

Hybrid adaptive distinguishing sequences for FSM-based complete testing: https://github.com/Jaxan/hybrid-ads

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

This project has been moved to GitLab.com.

Tight-binding Propagation Simulator for python 3.

Clean codegenerator