Explore projects

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

A dynamic ansible inventory based on running linuxcontainers.

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

Please go to https://gitlab.science.ru.nl/moerman/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

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

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

A website for displaying the queue for the RAGweek BeestFeest.

This project has been moved to GitLab.com.

This project has been moved to GitLab.com.

This project has been moved to GitLab.com.

This project has been moved to GitLab.com.

This project has been moved to GitLab.com.

This project has been moved to GitLab.com.