Explore projects

View hybrid-ads project

Joshua Moerman / hybrid-ads
MIT License

Hybrid adaptive distinguishing sequences for FSM-based complete testing: https://github.com/Jaxan/hybrid-ads

automata testing

Archived 0

Updated Nov 02, 2018

Archived 0 2 0 0

Updated Nov 02, 2018
View basic-learning project

Joshua Moerman / basic-learning

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 0

Updated Aug 22, 2016

Archived 0 0 0 0

Updated Aug 22, 2016
View gast project

clean-and-itasks / gast

This project has been moved to GitLab.com.

Archived 0

Updated Aug 18, 2021

Archived 0

Updated Aug 18, 2021
View FSMs project

Joshua Moerman / FSMs

Mealy machines, DFAs, Circuits and minimisation in Haskell: https://github.com/Jaxan/Kiss2FSM

Archived 0

Updated Aug 02, 2016

Archived 0 1 0 0

Updated Aug 02, 2016
View clean-sapl project

clean-and-itasks / clean-sapl

Archived 0

Updated Apr 25, 2019

Archived 0 0 0 2

Updated Apr 25, 2019
View clean-platform project

clean-and-itasks / clean-platform

This project has been moved to GitLab.com.

Archived 0

Updated Nov 01, 2025

Archived 0

Updated Nov 01, 2025
View pitemp project

Bram Daams / pitemp
GNU General Public License v3.0 only

Archived 0

Updated Mar 09, 2018

Archived 0 0 0 0

Updated Mar 09, 2018