Explore projects

Please go to https://gitlab.science.ru.nl/moerman/hybrid-ads

Helper script to manage VNC servers on a cluster.

This repo has been migrated to GitHub: https://github.com/thaliawww/ThaliApp

A smart cron helper, see also https://pypi.org/project/sch/

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

The toolsuite of the LOFAR Cosmic Ray Key Science Project

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

A dynamic ansible inventory based on running linuxcontainers.

This project has been moved to GitLab.com.

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

This project has been moved to GitLab.com.

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

hugo theme for eduweb, based on HugoMDL