Explore projects

Helper script to manage VNC servers on a cluster.

hugo theme for eduweb, based on HugoMDL

Implementation of the ONS (Ordered Nominal Sets) library in Haskell: https://github.com/Jaxan/ons-hs

Hybrid adaptive distinguishing sequences for FSM-based complete testing: https://github.com/Jaxan/hybrid-ads

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

This project has been moved to GitLab.com.

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

This project has been moved to GitLab.com.

Helper script to manage VNC servers on a cluster.