Tool Open source

statechart-art

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.

View repository Visit site Mentioned in 1 video ↓

Overview

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.

What statechart-art is used for

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.

Videos mentioning statechart-art

1 in the library.