Explore projects

Documents, Papers, Slides for my PhD

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

Helper script to manage VNC servers on a cluster.

Implementation of ECC signature verification for curve 255-19 on an ARM board

Clean language report

ARM implementation of the ChaCha20 block cipher

Tight-binding Propagation Simulator for python 3.

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

This repository contains the source code and other files used for the thesis "Text Mining Pathology Reports", written by Josien Visschedijk. NB: The actual data an other private data is not available!

Tight-binding Propagation Simulator for python 3.

A compiler and static cost analyzer for a simplified variant of iTasks

NDL project

Python+Java tool for learning TCP implementations