TLA-ts: A TypeScript TLA+ Model Checker, 2x Faster Than TLC, Runs in the Browser
aidenybai · x · 2026-10-29
TLA-ts: a TLA+ interpreter and model checker written 100% in TypeScript, a drop-in replacement for the Java-based TLC claiming 2x faster model checking.
- Why: TLC needs the JVM, can't run in the browser, and is slow; tla-ts runs anywhere JavaScript runs — browser, Node, Bun.
- Usage: install with npm install tla-ts, CLI accepts TLC's options, plus an online playground where you pass a TLA+ module source with INIT/NEXT/INVARIANT config and get results like invariant violations.
- MIT-licensed, by aidenybai.
More from coding & agent
- Nadella at GitHub Universe: Copilot Fusion 40% Faster at Up to 77% Lower Cost, Foundry Gets Unified Agent Harness — satyanadella · 2026-10-29
- Microsoft launches Copilot Fusion: frontier-level quality, 40% faster, up to 77% cheaper — satyanadella · 2026-10-29
- Reddit thread: picking third-party LLM inference providers, GLM Flash cited as best value — inwardPersecution · 2026-10-29
- If an agent could just click around and do it, what's left of your startup? — dunkhippo33 · 2026-10-29
- Hustle Fund partner: vibe coding kills the $25k CRM, support is the real moat — dunkhippo33 · 2026-10-29
- GitHub launches Copilot Projects: project-level AI agent spanning multiple repos — 0xkarasy · 2026-10-29