# kevintngo/statechart-art

> A project that draws four statecharts about running a boba shop: each chart is based on a TLA+ model checked by TLC and rendered by hand in pen and colored pencil through code. It is an artistic-technical demonstration linking formal models and visualization.

- Magnitude: 3.4 out of 10 — Early signal
- Stars: 133 total · +5 stars measured 2026-11-02, 10:06–11:41 UTC, ≈ 16 by evening
- Star trust: star growth looks organic
- Category: Developer tools · Language: JavaScript · License: MIT · Created: 2026-10-30 · Last push: 2026-10-31
- GitHub: https://github.com/kevintngo/statechart-art · Homepage: https://kevintngo.github.io/statechart-art/ · Page: https://gitnova.dev/en/r/kevintngo/statechart-art

## Useful for

- Generate statecharts from a TLA+ model using Node scripts
- Check a boba shop TLA+ spec with TLC and see a rule break
- Build the static site with the charts and serve it locally

## Why it’s here

- Star-counter measurements on 2026-11-02 (UTC), 10:06–11:41: 128 → 133 stars (+5). This is the change over that interval.
- Estimated end-of-day forecast: about +16 stars, using observed gains and the previous day.
- The repository is 3 days old and already has 133 stars. With less than two weeks of history, there's no usual pace to compare the spike against yet.
- Top new repositories this week: #196.
- About 8 forks a day — people are taking the code.
- Recent forks include notable developers: @robertpenner (588 followers).

## Star trust

Star growth looks organic.

Star-trust labels are heuristics based on the repository’s behavior, not a check of every stargazer.

## Numbers

- Forks: 12
- Issues and pull requests: 0
- Watchers: 0
- Average over the last week: 34 per day
- Usual pace: too little history (under two weeks)
- Stars in the last hour (measured): 1

## Stars per day, last 4 days (oldest → newest, today is partial)

2026-10-30 … 2026-11-02: 41, 48, 33, 5

## Spotted in now

- Top new repositories this week: #196

## More in this category

1. **l0ng-ai/openidea** — 9.3 · Breakout · Developer tools · TypeScript · +1,032 stars measured 2026-11-02, 00:07–11:37 UTC, ≈ 2,133 by evening
   A native IDE with a Rust core that recreates the familiar IntelliJ IDEA workflow: keymap, tool windows and search-everywhere. It bundles an editor, code insight, debugger, Git, terminal, database and HTTP clients for 60+ languages.
   Full card: https://gitnova.dev/en/r/l0ng-ai/openidea.md
2. **haydenschmitty/floorplan** — 7.7 · Breakout · Developer tools · JavaScript · +268 stars measured 2026-11-02, 00:07–11:37 UTC, ≈ 643 by evening
   A Claude Code plugin that reads your codebase and generates an interactive, plain-English map of its parts, files, and connections. It helps developers understand how an app fits together without reading all the code.
   Full card: https://gitnova.dev/en/r/haydenschmitty/floorplan.md
3. **caru-ini/stack-diagram** — 7.7 · Early signal · Developer tools · TypeScript · +507 stars measured 2026-11-02, 00:07–11:37 UTC, ≈ 947 by evening
   An agent skill that turns a one-sentence description of your tech stack into an architecture diagram using official brand logos. It works with Claude Code, Codex, Cursor and other skill-capable agents.
   Full card: https://gitnova.dev/en/r/caru-ini/stack-diagram.md
4. **ivankovic/omnidiff** — 7.4 · Early signal · Developer tools · Rust · +348 stars measured 2026-11-02, 00:07–11:37 UTC, ≈ 643 by evening
   A content-aware diff tool that picks a type-specific algorithm per file (code via AST, images, fonts, PDFs, archives) and shows results in a TUI, browser, or headless mode. It integrates with git difftool and editors like VS Code and…
   Full card: https://gitnova.dev/en/r/ivankovic/omnidiff.md
5. **Centiplatrap/pc-game-fps-doctor** — 6.7 · Early signal · Developer tools · JavaScript · +77 stars measured 2026-11-02, 00:07–11:38 UTC, ≈ 226 by evening
   A tool for diagnosing and fixing performance issues in PC games like VALORANT. It finds causes of lag, FPS drops, and startup problems, offering fixes with an undo feature.
   Full card: https://gitnova.dev/en/r/Centiplatrap/pc-game-fps-doctor.md

---

Magnitude (0–10) measures how fast and how unusually interest in a repository is growing right now. It is not a quality score.
Days are UTC. “So far today” is a fact; “expected by the end of the day” is a forecast.
Summaries and use cases are written by an LLM (DeepSeek V4.1 Flash) from the README and may be inaccurate: verify specific claims (benchmarks, speed, hardware) in the repository itself.
Data as of 2026-11-02 11:53 UTC, updated every 30 minutes.