Explore projects

Joshua Moerman / ons-hs
MIT License

Implementation of the ONS (Ordered Nominal Sets) library in Haskell: https://github.com/Jaxan/ons-hs

automata nominal sets dense linear...

Archived 0

Updated Feb 01, 2019

Archived 0 0 0 0

Updated Feb 01, 2019
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
C

clean-and-itasks / clean-sapl

Archived 0

Updated Apr 25, 2019

Archived 0 0 0 2

Updated Apr 25, 2019