A tool for executable specifications written in modern, portable C++. Offers a comprehensive extendable DSL (Domain Specific Language) for specifying software with built-in support for UML state machines (and more). Comes with a runtime to run, trace and visualize your (state) machines.
state-machine portable engine websocket workflow-engine uml uml-diagram state-machines uml-diagrams uml-state-machine low-code harel mermaidjs nietzsche harel-statechart workflow-tool state-chart uml-state-diagram planckservice
-
Updated
Jan 14, 2026 - C++