RepoAlerts
SponsorGet alerts

kevintngo/statechart-art

Get alerts like thisView on GitHubWebsiteShare on X

Can I trust it?

Worth a closer look before you use it.

  • Warnings Check

    Very new: it was created 5 days ago. Wait a little before installing it.

  • Stars from real accounts No data

    We haven't checked its stars for fakes yet.

  • Active OK

    Last change 3 days ago.

  • Licence OK

    MIT: you can use it for free, also in a commercial product. Keep the licence notice.

Quick checks from public data. They help, but they are no guarantee.

What it is

Four hand-drawn statecharts of a boba shop's operations, each modelled in TLA+ and checked with TLC, then laid out with pele and drawn in pen and coloured pencil by JavaScript code. Covers an order flow, a day at the shop, two parallel regions, and a pearl-serving bug.

Who it's for

Developers and readers interested in TLA+ model checking and generative statechart visualisation

How to use it

Install

cd tools && npm install

From its README. Check it there before running it.

Ask your AI to set it up

Paste this into Claude, ChatGPT or your coding assistant.

Help me install and set up kevintngo/statechart-art in my project. Follow its README: https://github.com/kevintngo/statechart-art. Explain each step and check it is safe before running anything.

Star curve

212From 0 to 212 stars between 30 Oct 2026 and 4 Nov 2026.

Alternatives

Similar projects named in its profile. Each link searches the directory.

Get alerts for repos like this

We'll email you when repos like this start rising. Free, once a week, only what matches.

What arrives: one email on Mondays with the repos that match, never more. See last week's. Privacy

For maintainers

Add this badge to your README. It shows the repo's place on the radar, updates every hour and links back to this page.

[![kevintngo/statechart-art on RepoAlerts](https://repoalerts.com/badge/kevintngo/statechart-art.svg)](https://repoalerts.com/repo/kevintngo/statechart-art?ref=badge)
Share on X
  • kevintngo/looseleaf

    A React, Tailwind v4 and Radix component library and shadcn registry that restyles shadcn/ui components with a hand-drawn, paper-like look. It keeps shadcn's parts, props and data-slot names, and incl

    LibraryWeb & UITypeScript · 364 stars · +364 this week · 3 days old

  • gabe-santana/arkdraw

    A TypeScript diagram editor for flowcharts, UML, ER diagrams, network maps, wireframes and mind maps. An built-in AI assistant draws and edits native diagrams from natural-language prompts, using the

    AppAI agentsTypeScript · 61 stars · +9 this week · 12 days old

  • t3dotgg/tstack

    A collection of agent skills for Claude Code and Codex covering PR workflows: filing and babysitting PRs, taking over stale PRs, multi-model review loops, and formatting PR comments. Some skills use T

    AI skillAI agentsPython · 2,845 stars · +686 this week · 11 days old

  • codepawl/viz3d

    A skill for AI coding agents that turns hard-to-picture places, systems and events into 3D worlds, live dashboards, documentary films, lesson apps and illustrated books. Worlds are built from research

    AI skillAI agentsPython · 122 stars · +108 this week · 14 days old

  • bugkeep/ai-draw

    A self-hosted web app for creating and editing Excalidraw-style drawings through a chat interface. It generates sketches, illustrations and flowcharts from text, and supports refining objects by conve

    AppCreative toolsPython · 833 stars · +429 this week · 145 days old

  • aidenybai/tla-ts

    A TypeScript interpreter and model checker for TLA+ specifications, designed as a drop-in replacement for TLC that runs in browsers, Node and Bun without the JVM. It also provides a command-line tool

    CLI toolTypeScript · 174 stars · +151 this week · 9 days old