Explore projects
-
The toolsuite of the LOFAR Cosmic Ray Key Science Project
Archived 0Updated -
Joshua Moerman / hybrid-ads
MIT LicenseHybrid adaptive distinguishing sequences for FSM-based complete testing: https://github.com/Jaxan/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 -
Mealy machines, DFAs, Circuits and minimisation in Haskell: https://github.com/Jaxan/Kiss2FSM
Archived 0Updated -
Archived 0Updated
-
Bram Daams / pitemp
GNU General Public License v3.0 onlyArchived 0Updated -
This project has been moved to GitLab.com.
Archived 0Updated -
Archived 0Updated