hackage.haskell.org "state-machine" keyword
View the packages on the hackage.haskell.org package registry that are tagged with the "state-machine" keyword.
crem 0.1.0.0
Compositional Representable Executable Machines1 version - Latest release: almost 3 years ago - 1 dependent package - 133 downloads total - 121 stars on GitHub - 1 maintainer
quickcheck-state-machine-distributed 0.0.1
Please see the README on Github at https://github.com/advancedtelematic/quickcheck-state-machine-...2 versions - Latest release: almost 8 years ago - 1 dependent repositories - 1.14 thousand downloads total - 6 stars on GitHub - 1 maintainer
free-category 0.0.4.5
This package provides various data types for free categories, type aligned queues, arrows and typ...9 versions - Latest release: over 2 years ago - 1 dependent repositories - 2.91 thousand downloads total - 24 stars on GitHub - 1 maintainer