# aidenybai/tla-ts

> Интерпретатор и модел-чекер TLA+ на TypeScript, работающий как замена TLC без JVM — в браузере, Node, Bun и Deno. Позволяет проверять формальные спецификации систем и генерировать обязательства доказательств.

- Магнитуда: 3,1 из 10 — Ранний сигнал
- Звёзды: 110 всего · +5 звёзд по замерам 2026-10-31, 00:27–02:34 UTC, к вечеру ≈ 27
- Доверие к звёздам: рост звёзд выглядит естественно
- Категория: Инструменты разработчика · Язык: TypeScript · Лицензия: MIT · Создан: 2026-10-26 · Последний коммит: 2026-10-31
- GitHub: https://github.com/aidenybai/tla-ts · Сайт: https://tla-ts.aidenybai.com/ · Страница: https://gitnova.dev/r/aidenybai/tla-ts

## Чем пригодится

- Проверить TLA+ спецификацию инвариантов прямо в браузере без установки Java
- Запустить модел-чекер в CI на Node с несколькими воркерами для ускорения поиска
- Сгенерировать обязательства доказательств модуля для последующей проверки в tlapm

## Почему он здесь

- По замерам счётчика за 2026-10-31 (UTC), 00:27–02:34: 105 → 110 звёзд (+5). Это прирост за указанный интервал.
- Расчётный прогноз на конец суток: около +27 звёзд; учитывает наблюдаемый прирост и предыдущий день.
- Репозиторию 5 дней, а у него уже 110 звёзд. Истории меньше двух недель, так что обычного темпа, с которым можно сравнить всплеск, у него ещё нет.
- Топ новых репозиториев за неделю: #184.

## Доверие к звёздам

Рост звёзд выглядит естественно.

Метки доверия к звёздам — эвристики по поведению репозитория, а не проверка каждого, кто поставил звезду.

## Цифры

- Форков: 6
- Issues и pull requests: 262
- Наблюдателей: 0
- В среднем за неделю: 23 в день
- Обычный темп: мало истории (меньше двух недель)
- Звёзд за последний час (по замерам): 1
- Последний релиз: tla-ts@0.0.3 (2026-10-28)

## Звёзды по дням за 6 дней (от старых к новым, сегодня — неполный день)

2026-10-26 … 2026-10-31: 0, 2, 40, 46, 22, 5

## Где замечен сейчас

- Топ новых репозиториев за неделю: #184

## Ещё в этой категории

1. **kevinraymond/florilegium** — 8,2 · Ранний сигнал · Инструменты разработчика · Lua · +49 звёзд по замерам 2026-10-31, 00:27–02:33 UTC, к вечеру ≈ 611
   Процедурно генерируемые цветочные поля в стиле делфтского синего для полей страниц LaTeX: каждый лепесток, лист и стебель вычисляются в Lua и рисуются прямо в PDF без внешних изображений.
   Полная карточка: https://gitnova.dev/r/kevinraymond/florilegium.md
2. **herdrdev/herdr-app** — 8,2 · Ранний сигнал · Инструменты разработчика · Rust · +44 звезды по замерам 2026-10-31, 00:27–02:33 UTC, к вечеру ≈ 587
   Десктопное приложение для терминалов и кодинг-агентов: организует работу в spaces, tabs и panes, показывает статус агентов и сохраняет терминалы запущенными при закрытии окна. Поддерживает удалённые машины по SSH.
   Полная карточка: https://gitnova.dev/r/herdrdev/herdr-app.md
3. **l0ng-ai/openidea** — 5,7 · Взлёт · Инструменты разработчика · TypeScript · +22 звезды по замерам 2026-10-31, 00:27–02:33 UTC, к вечеру ≈ 308
   Нативная IDE с ядром на Rust, повторяющая привычный рабочий процесс IntelliJ IDEA: раскладка клавиш, tool windows и поиск по всему проекту. Включает редактор, code insight, отладчик, Git, терминал, клиенты баз данных и HTTP для 60+ языков.
   Полная карточка: https://gitnova.dev/r/l0ng-ai/openidea.md
4. **Millillion/lasm** — 4,5 · Ранний сигнал · Инструменты разработчика · C · +1 звезда по замерам 2026-10-31, 00:27–02:33 UTC, к вечеру ≈ 25
   Lasm компилирует программы на Lean 4 в WebAssembly для Node, edge-функций, WASI и браузера, позволяя доказывать свойства развёрнутого кода.
   Полная карточка: https://gitnova.dev/r/Millillion/lasm.md
5. **haydenschmitty/floorplan** — 4,3 · Ранний сигнал · Инструменты разработчика · JavaScript · +7 звёзд по замерам 2026-10-31, 00:27–02:33 UTC, к вечеру ≈ 80
   Плагин для Claude Code, который читает кодовую базу и строит интерактивную карту из частей, файлов и связей на простом языке. Помогает разработчикам понять, как устроено приложение, не читая весь код.
   Полная карточка: https://gitnova.dev/r/haydenschmitty/floorplan.md

---

Магнитуда (0–10) — насколько быстро и необычно сейчас растёт интерес к репозиторию. Это не оценка качества.
Дни — по UTC. «Уже сегодня» — факт, «к вечеру ≈» — прогноз.
Описания и сценарии пишет модель (DeepSeek V4.1 Flash) по README, в деталях возможны ошибки: конкретные утверждения (замеры, скорость, железо) проверяйте в самом репозитории.
Данные на 2026-10-31 02:43 UTC, обновление каждые 30 минут.