Explore projects

Part of btcd

Files belonging to submission 35 for NFM'21

http://tomte.cs.ru.nl/ Tomte is a tool that fully automatically constructs abstractions for automata learning.

Tight-binding Propagation Simulator for python 3.

Python+Java tool for learning TCP implementations

Library containing support for several sensors on the raspberry pi

A new SAPL interpreter written in C for cross-compiling it to asm.js

Run-time system for the Clean programming language

Some of the scripts used for the RERS challenge 2016

Some of the scripts used for the RERS challenge 2016

Some implementations of the Ramanujan Pi algorithm.

This project contains the Qhasm implementation I used in my Bachelor thesis