Explore projects

THIS IS A MIRROR!!!

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

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

Interpreter for my mapper language for abstraction in automata learning.

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

compiler project for compiler construction course in Rust

A new SAPL interpreter written in C for cross-compiling it to asm.js

Mealy machines, DFAs, Circuits and minimisation in Haskell: https://github.com/Jaxan/Kiss2FSM

Basic learner setup, using learnlib/automatalib, containing an example SUL and a socket-interface to connect a SUL over TCP. https://github.com/Jaxan/basic-learning

Latex class voor de RU biref stijl

basis theme voor product site

The Perception and Action Toolbox

Tweeting pictures as unicode text

A collection of shell scripts or commands

Some of the scripts used for the RERS challenge 2016

Distributed iTasks examples