Explore GitLab
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
-
-
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.
-
-
-
-
-
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