Explore projects
-
Mealy machines, DFAs, Circuits and minimisation in Haskell: https://github.com/Jaxan/Kiss2FSM
Archived 0Updated -
Implementation of the ONS (Ordered Nominal Sets) library in Haskell: https://github.com/Jaxan/ons-hs
Archived 0Updated -
Archived 0Updated