Explore projects
-
-
-
Updated
-
Joshua Moerman / hybrid-ads
MIT LicenseHybrid adaptive distinguishing sequences for FSM-based complete testing: https://github.com/Jaxan/hybrid-ads
Archived 0Updated -
-
Extending the cost analysis with cost over time
Updated -
Updated
-
A refined list of topics to explore. Can be suitable for master projects and internships.
Updated -
Implementing the L* learning algorithm for nominal automata, using the ONS library
Updated -
Updated
-
Updated
-
-
The Clean platform is a collection of multi-platform general purpose libraries for Clean.
Updated -
-
-
-
Joshua Moerman / ons-hs
MIT LicenseImplementation of the ONS (Ordered Nominal Sets) library in Haskell: https://github.com/Jaxan/ons-hs
Archived 0Updated -
Updated
-
The toolsuite of the LOFAR Cosmic Ray Key Science Project
Archived 0Updated