Explore projects

A collection of shell scripts or commands

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

Python+Java tool for learning TCP implementations

Docker image for the software security testcms.

Some of the scripts used for the RERS challenge 2016

Software to run the pipelines, work with database, etc.

Build and CI scripts for Clean

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

Implementing the L* learning algorithm for nominal automata, using the ONS library

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

Build and CI scripts for Clean

Clean compiler

Clean language report