Part of btcd
Files belonging to submission 35 for NFM'21
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 implementations of the Ramanujan Pi algorithm.
This project contains the Qhasm implementation I used in my Bachelor thesis