GitLab

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

Client software for the Radboud Radio Lab VLBI Monitor

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

Mealy machines, DFAs, Circuits and minimisation in Haskell

Basic learner setup, using learnlib/automatalib, containing an example SUL and a socket-interface to connect a SUL over TCP.

Latex class voor de RU biref stijl

basis theme voor product site

Online monitoring for Very Long Baseline Interferometry campaigns.

The Perception and Action Toolbox

Tweeting pictures as unicode text