aidenybai / tla-ts
git clone https://github.com/aidenybai/tla-ts.git
tla-ts@0.0.3 · 5d ago
A TLA+ interpreter and model checker written in TypeScript that runs in browsers, Node, and Bun without the JVM.
Why you might care
Drop-in alternative to TLC for model checking TLA+ specs without needing Java or the JVM, and it runs wherever JavaScript does. The README claims it is about 2x faster than TLC; it also offers a programmatic API for checking specs and a browser playground.
+7
stars, 24h · #5,097
+125
stars, 7 days · #2,471
+125
stars, 30 days · #7,635
125
★ total · +125% this week
8
forks · 4 open issues
Star history (as recorded here)
LanguageTypeScript
LicenseMIT
Created2026-10-26 (7d ago)
Last pushtoday
Watchers0
OwnerUser
GitHub topics
Links
- GitHub: github.com/aidenybai/tla-ts
- Homepage: https://tla-ts.aidenybai.com/
- 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.