Tool Open source
statechart-art is an educational visual resource explaining statecharts through four models of running a boba shop. Each chart is drawn in code with a pen-and-coloured-pencil style: an order moving through a shop, the shop's daily schedule, two concurrent barista and pot processes, and a bug showing old pearls being served.
Each chart is backed by a TLA+ specification and configuration that TLC checks across reachable states and rules. A statechart-generation skill produces Mermaid charts and verification reports; layout and drawing scripts then render the charts and shop illustrations, with the site and images reproducible from the repository's Node-based tools. The repository includes the models, source scripts, generated GitHub Pages site, fonts and drawing assets, and releases everything under the MIT license.
1 use taken from transcripts — each links to the moment in the video.
A project that explains statecharts through the daily life of a boba shop, with code-drawn pen-and-pencil illustrations backed by models checked for broken rules.
1 in the library.