A tutorial about how to apply property-based testing to stateful systems.
An experiment in implementing remote hot code swapping, or dynamic code upgrade, for state machines.
An experiment in declaratively programming parallel pipelines of state machines.
What do you get when you cross Statecharts with The Elm Architecture?
A tutorial about how to apply property-based testing to stateful systems.
Experimental programming language where programs are state machines expressed in arrow notation
Add a description, image, and links to the state-machines topic page so that developers can more easily learn about it.
To associate your repository with the state-machines topic, visit your repo's landing page and select "manage topics."