Some implementations of the Ramanujan Pi algorithm.

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

Data Manager

Python+Java tool for learning TCP implementations

Deprecated. The first attempt at a cost analysis for iTasks

The goal is a fast parallel Assembly implementation of the SHA-256 hashing algorithm, using SIMD operations on the ARM Cortex-A8 processor.

Bachelor thesis by Wouter van der Linde [s4291832], Radboud University, Nijmegen, The Netherlands

Active Learning of NOndeterministic Systems