A TypeScript implementation of the TLA+ interpreter and model checker, a drop-in replacement for the Java-based TLC that runs in browsers, Node, and Bun.
232+41 this week9TypeScriptMITWell maintainedUpdated 2 days ago
1 alternative
Best open-source alternatives to TLC (2026)
Looking for a free, open-source alternative to TLC? These 1 projects can replace it. Each one passed our quality screening and is explained in plain words, so you can compare stars, license and maintenance at a glance.
Quick comparison
| Project | Stars | License | Last commit |
|---|---|---|---|
| aidenybai/tla-ts | ★ 232 | MIT | 2 days ago |
FAQ
- Is there a free, open-source alternative to TLC?
- Yes. The most popular open-source alternatives to TLC on Repolode are tla-ts.
- Which TLC alternative should I choose?
- tla-ts has the most GitHub stars and is released under MIT. Compare the license and last commit of each option in the table above before choosing.
How this list is made: AI reads each project's documentation to match it with products it can replace, every project passes our quality screening, and the list is ranked by GitHub stars. Stars updated Nov 6, 2026. How Repolode works