XstateState machines and statecharts for the modern web.
qmQM model-based design tool and code generator based on UML state machines
statechartA rust implementation of statecharts: hierarchical, reactive state machines
xstateState machines and statecharts for the modern web.
qp-arduinoQP real-time embedded frameworks/RTOS for Arduino (AVR and SAM)
gammaAn Eclipse-based modeling framework for the component-based design and analysis of reactive systems
ThingMLThe ThingML modelling language
redux-statechartA tiny library make redux state possessed with both finite and infinite states.