Explore projects

This repo is for a publication which aims at unifying the ICTAC 2015 paper with related theoretical elements introduced by Judith's Master's dissertation. The target journal is: http://journals.cambridge.org/jid_MSC

The project simulates TCP models learned as part of the learning & model checking TCP work.

THIS IS A MIRROR!!!

Please add issues and pull requests on https://github.com/timjs/clean-core

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.

basis theme voor product site

Some of the scripts used for the RERS challenge 2016

LaTeX repository for thesis proposal

LaTeX repository for thesis document

Spark project accompanying thesis document

Latex class voor de RU biref stijl

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

Build and CI scripts for Clean

OpenVPN client configuration

Scripts and tools to compile Clean for multiple platforms (e.g. Linux, Windows and Android).