Some implementations of the Ramanujan Pi algorithm.
This project has been moved to GitLab.com.
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
Python+Java tool for learning TCP implementations
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
ARM implementation of the ChaCha20 block cipher
This project contains the Qhasm implementation I used in my Bachelor thesis
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