Интерпретатор и проверщик моделей TLA+ на TypeScript — замена TLC на Java, работающая в браузерах, Node и Bun.
232+41 за неделю9TypeScriptMITАктивно поддерживаетсяОбновлён позавчера
Альтернатив: 1
Лучшие open source альтернативы TLC (2026)
Ищете бесплатную open source альтернативу TLC? Эти 1 проектов могут её заменить. Каждый прошёл нашу проверку качества и описан простым языком, так что звёзды, лицензию и поддержку легко сравнить с первого взгляда.
Быстрое сравнение
| Проект | Звёзды | Лицензия | Последний коммит |
|---|---|---|---|
| aidenybai/tla-ts | ★ 232 | MIT | позавчера |
Частые вопросы
- Есть ли бесплатная open source альтернатива TLC?
- Да. Самые популярные open source альтернативы TLC на Repolode: tla-ts.
- Какую альтернативу TLC выбрать?
- Больше всего звёзд на GitHub у tla-ts (лицензия MIT). Перед выбором сравните лицензию и последний коммит каждого варианта в таблице выше.
Как составлен список: AI читает документацию каждого проекта и определяет, какие продукты он может заменить; все проекты проходят проверку качества и сортируются по звёздам GitHub. Звёзды обновлены: 6 нояб. 2026 г.. Как работает Repolode