用 TypeScript 实现的 TLA+ 解释器与模型检查器，可替代基于 Java 的 TLC，在浏览器、Node 和 Bun 中运行。
232+41 本周9TypeScriptMIT维护活跃更新于 前天
1 个替代品
TLC 的最佳开源替代品（2026）
想找 TLC 的免费开源替代？下面这 1 个项目都能替代它。每个都通过了质量筛选，并用大白话讲清楚，Star、许可证、维护状态一眼对比。
快速对比
| 项目 | Star | 许可证 | 最近提交 |
|---|---|---|---|
| aidenybai/tla-ts | ★ 232 | MIT | 前天 |
常见问题
- TLC 有免费的开源替代品吗？
- 有。Repolode 收录的最受欢迎的 TLC 开源替代品有：tla-ts。
- TLC 的替代品该选哪个？
- tla-ts 的 GitHub Star 最多，采用 MIT 许可证。选择前建议在上面的表格里对比各项目的许可证和最近提交时间。
榜单怎么来的：AI 阅读每个项目的文档，判断它能替代哪些产品；每个项目都通过质量筛选，并按 GitHub Star 排序。 Star 数更新于 2026年11月6日。 了解 Repolode 如何运作