kevintngo / statechart-art
git clone https://github.com/kevintngo/statechart-art.git
Four hand-drawn-style statecharts about running a boba shop, each a TLA+ model checked by TLC and drawn in code.
Why you might care
Shows how formal TLA+ models with TLC checking can become readable statecharts, with each plate drawn in a different visual style. Suited to people curious about model checking or generative illustration rather than boba itself.
+30
stars, 24h · #1,380
+117
stars, 7 days · #2,625
+117
stars, 30 days · #8,003
195
★ total · +117% this week
16
forks · 0 open issues
Star history (as recorded here)
LanguageJavaScript
LicenseMIT
Created2026-10-30 (3d ago)
Last push2d ago
Watchers0
OwnerUser
Links
- GitHub: github.com/kevintngo/statechart-art
- Homepage: https://kevintngo.github.io/statechart-art/
- Releases · Issues · Hacker News mentions
README
Loading README…
Blurb generated by claude-haiku-5-5 3d ago. Star deltas marked ~ are extrapolated from partial history.