Explore projects

Repository for controlcode pymote

A collection of shell scripts or commands

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

Data Manager

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

Active Learning of NOndeterministic Systems

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.

This repo has been migrated to GitHub: https://github.com/thaliawww/concrexit

Spark project accompanying thesis document

Tweeting pictures as unicode text

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