Explore projects

Some implementations of the Ramanujan Pi algorithm.

This project has been moved to GitLab.com.

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

http://tomte.cs.ru.nl/ 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