Explore projects
-
-
-
archived 0Updated
-
archived 0Updated
-
Mealy machines, DFAs, Circuits and minimisation in Haskell: https://github.com/Jaxan/Kiss2FSM
archived 0Updated -
Please go to https://gitlab.science.ru.nl/moerman/hybrid-ads
archived 0Updated -
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 -
Hybrid adaptive distinguishing sequences for FSM-based complete testing: https://github.com/Jaxan/hybrid-ads
archived 0Updated -
Implementation of the ONS (Ordered Nominal Sets) library in Haskell: https://github.com/Jaxan/ons-hs
archived 0Updated -
-
archived 1Updated
-
archived 0Updated
-
archived 1Updated
-
archived 0Updated
-
This project has been moved to GitLab.com.
archived 0Updated -
-
archived 0Updated
-
archived 0Updated
-
archived 0Updated
-
archived 1Updated