Discover projects, groups and snippets. Share your projects with others
simple static html to display an analog or digital clock in full screen
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.
A new SAPL interpreter written in C for cross-compiling it to asm.js
This repo has been migrated to GitHub: https://github.com/thaliawww/ThaliApp