Explore projects

A collection of shell scripts or commands

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

Python+Java tool for learning TCP implementations

Data Manager

We compare the existing RA learners (Tomte and RALib) on a set of benchmarks and analyze the statistics. The project includes the binaries of the tools, as well as scripts that automatically generate models, run and collect data.

Repository for the framework used in project 1 of the computer networking course.

Repository for the framework used in the DNS Resolver and Name Server Project of the computer networking course.

Spark project accompanying thesis document

Software to run the pipelines, work with database, etc.

Build and CI scripts for Clean

Implementation of elliptic curve cryptography using the Renes-Costello-Batine addition laws

There’s an App for Everything

Tight-binding Propagation Simulator for python 3.

Project 1 van Netwerken en Gedistribueerde systemen: DNS Resolver & Name Server

Netwerken Project 2. bTCP