Observatory implementations of clients for the Radboud Radio Lab VLBI Monitor.

(NOT UP TO DATE!!) Angluin style automata learning with infinite alphabets

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