Some implementations of the Ramanujan Pi algorithm.
This project has been moved to GitLab.com.
Please go to https://gitlab.science.ru.nl/moerman/hybrid-ads
A collection of some mealy machines in .dot format.
Repository for controlcode pymote
A collection of shell scripts or commands
Documents, Papers, Slides for my PhD
Tomte is a tool that fully automatically constructs abstractions for automata learning.
Implementation of ECC signature verification for curve 255-19 on an ARM board
The Perception and Action Toolbox
A new SAPL interpreter written in C for cross-compiling it to asm.js