Explore projects

Some implementations of the Ramanujan Pi algorithm.

This project has been moved to GitLab.com.

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

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