QP/C Real-Time Embedded Framework/RTOS is a lightweight implementation of the Active Object (Actor) model of computation for real-time embedded systems.

QP/C++ Real-Time Embedded Framework/RTOS is a lightweight implementation of the Active Object (Actor) model of computation for real-time embedded systems.

A minimalist UML State machine framework for finite state machine and hierarchical state machine in C

QP-nano real-time embedded framework/RTOS for embedded systems based on active objects (actors) and hierarchical state machines

Graphical modeling and code generation tool based on UML state machines

C++ based Hierarchical / Finite State Machine library oriented for embedded and RTOS systems.

State machine framework for reactive embedded systems

Python statecharts

Metamodel, visualization, simulation, and code generation for Hierarchical Finite State Machines (HFSMs) following the UML State Machine spec.

QP real-time embedded frameworks/RTOS for Arduino (AVR and SAM)

yasmine - the C++ UML state machine framework

State machine code generator for C++ and Java.

View finite state machines using fsm-as-promised library as UML diagrams in VSCode

DRYML (an acronym for “DRY Modelling Language”) is both a human- and machine-readable software modelling language

Embedded state machine language with a just-in-time compiler for unparalleled speed and efficiency.

Atom package for writing (and previewing) beautiful state machine charts

UML State Machines for Arduino

Hierarchical state machine framework in Swift.

Workflow/State Machine Engine written in modern C++. Offers a comprehensive DSL (Domain Specific Language) for UML state machines. Comes with a runtime to run, trace and visualize your state machines.

Two Spring-State-Machines working together in one project