Explore projects
-
Archived 1Updated
-
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
Archived 0Updated -
Archived 2Updated
-
Archived 1Updated
-
Archived 0Updated
-
-
This project has been moved to GitLab.com.
Archived 0Updated -
This repo has been migrated to GitHub: https://github.com/thaliawww/concrexit
Archived 6Updated -
Archived 0Updated
-
-
-
Mealy machines, DFAs, Circuits and minimisation in Haskell: https://github.com/Jaxan/Kiss2FSM
Archived 0Updated -
Archived 0Updated
-
Hybrid adaptive distinguishing sequences for FSM-based complete testing: https://github.com/Jaxan/hybrid-ads
Archived 0Updated -
Archived 2Updated
-
Archived 0Updated
-
Implementation of the ONS (Ordered Nominal Sets) library in Haskell: https://github.com/Jaxan/ons-hs
Archived 0Updated -
Archived 0Updated
-
Archived 0Updated
-
The toolsuite of the LOFAR Cosmic Ray Key Science Project
Archived 0Updated
