# aidenybai/tla-ts

> A TLA+ interpreter and model checker in TypeScript, a drop-in replacement for TLC that runs without the JVM in browsers, Node, Bun, and Deno. It checks formal system specifications and generates proof obligations.

- Magnitude: 3.1 out of 10 — Early signal
- Stars: 110 total · +5 stars measured 2026-10-31, 00:27–02:34 UTC, ≈ 27 by evening
- Star trust: star growth looks organic
- Category: Developer tools · Language: TypeScript · License: MIT · Created: 2026-10-26 · Last push: 2026-10-31
- GitHub: https://github.com/aidenybai/tla-ts · Homepage: https://tla-ts.aidenybai.com/ · Page: https://gitnova.dev/en/r/aidenybai/tla-ts

## Useful for

- Check a TLA+ invariant specification in the browser without installing Java
- Run the model checker in CI on Node with multiple workers to speed up the search
- Generate a module's proof obligations for later verification with tlapm

## Why it’s here

- Star-counter measurements on 2026-10-31 (UTC), 00:27–02:34: 105 → 110 stars (+5). This is the change over that interval.
- Estimated end-of-day forecast: about +27 stars, using observed gains and the previous day.
- The repository is 5 days old and already has 110 stars. With less than two weeks of history, there's no usual pace to compare the spike against yet.
- Top new repositories this week: #184.

## 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: 6
- Issues and pull requests: 262
- Watchers: 0
- Average over the last week: 23 per day
- Usual pace: too little history (under two weeks)
- Stars in the last hour (measured): 1
- Latest release: tla-ts@0.0.3 (2026-10-28)

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

2026-10-26 … 2026-10-31: 0, 2, 40, 46, 22, 5

## Spotted in now

- Top new repositories this week: #184

## More in this category

1. **kevinraymond/florilegium** — 8.2 · Early signal · Developer tools · Lua · +49 stars measured 2026-10-31, 00:27–02:33 UTC, ≈ 611 by evening
   Procedurally generated Delft-blue floral page margins for LaTeX: every petal, leaf and stem is computed in Lua and painted straight into the PDF, with no external images.
   Full card: https://gitnova.dev/en/r/kevinraymond/florilegium.md
2. **herdrdev/herdr-app** — 8.2 · Early signal · Developer tools · Rust · +44 stars measured 2026-10-31, 00:27–02:33 UTC, ≈ 587 by evening
   Desktop app for terminals and coding agents: organizes work into spaces, tabs and panes, shows agent status, and keeps terminals running when the window closes. Supports remote machines over SSH.
   Full card: https://gitnova.dev/en/r/herdrdev/herdr-app.md
3. **l0ng-ai/openidea** — 5.7 · Breakout · Developer tools · TypeScript · +22 stars measured 2026-10-31, 00:27–02:33 UTC, ≈ 308 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
4. **Millillion/lasm** — 4.5 · Early signal · Developer tools · C · +1 star measured 2026-10-31, 00:27–02:33 UTC, ≈ 25 by evening
   Lasm compiles Lean 4 programs ahead of time to WebAssembly for Node, edge functions, WASI and browsers, letting you prove properties of deployed code.
   Full card: https://gitnova.dev/en/r/Millillion/lasm.md
5. **haydenschmitty/floorplan** — 4.3 · Early signal · Developer tools · JavaScript · +7 stars measured 2026-10-31, 00:27–02:33 UTC, ≈ 80 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

---

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-10-31 02:43 UTC, updated every 30 minutes.