kevintngo/statechart-art
- Всего звёзд
- 132
- Сегодня
- +4с 10:06 UTC
Другие действия
Four statecharts about running a boba shop, drawn by hand in code.
Сохрани в «Мои находки», чтобы следить за релизами и ростом звёзд. Сохраняется в этом браузере.
О проекте
Проект рисует четыре statechart-диаграммы о работе магазина boba: каждая диаграмма основана на TLA+-модели, проверяемой TLC, и отрисована вручную пером и цветным карандашом через код. Это художественно-техническая демонстрация связи формальных моделей и визуализации.
Чем пригодится
- Сгенерировать диаграммы состояний из TLA+-модели с помощью скриптов Node
- Проверить TLA+-спецификацию магазина boba через TLC и увидеть нарушение правил
- Собрать статический сайт с диаграммами и запустить локальный сервер для просмотра
Пересказ README моделью DeepSeek V4.1 Flash. Может ошибаться в деталях. Оригинал README →
Рост звёзд выглядит естественно. Данные на 2 ноября 2026, 11:06 UTC.
Оценка роста звёзд не подтверждает безопасность запуска.
Звёзды по дням
Столбики — звёзды за день UTC; линия — скользящее среднее доступной истории. Пропуски означают отсутствие данных, а не нулевой рост. Сегодняшний столбик неполный. Красным — дни всплесков.
Почему он в тренде
- По замерам счётчика за 2026-11-02 (UTC), 10:06–10:54: 128 → 132 звёзд (+4). Это прирост за указанный интервал.
- Расчётный прогноз на конец суток: около +16 звёзд; учитывает наблюдаемый прирост и предыдущий день.
- Репозиторию 3 дня, а у него уже 132 звезды. Истории меньше двух недель, так что обычного темпа, с которым можно сравнить всплеск, у него ещё нет.
- Топ новых репозиториев за неделю: #196.
- Около 8 форков в сутки — код забирают себе.
- Среди свежих форков — заметные разработчики: @robertpenner (588 подп.).
Замеры роста: последние 7 полных дней
Нет данных за все 7 дней: недельный итог и сравнение не рассчитываются.
Замеры по дням · UTC
- 26 октября 2026
- —
- 27 октября 2026
- —
- 28 октября 2026
- —
- 29 октября 2026
- —
- 30 октября 2026
- 41
- 31 октября 2026
- 48
- 1 ноября 2026
- 33
Максимальный измеренный день за последние 30 дней: 48 · 31 октября 2026. Дней с данными: 3.
Полные дни — из истории звёзд GitHub; сегодня и прогнозы исключены из сравнения. История проверена: 2 ноября 2026, 11:06 UTC. Источники и ограничения замеров →
Три GitHub-находки в каждом выпуске
Что делают, почему набирают интерес и что проверить перед использованием.
Выпуски в 10:00, 16:00, 22:00 МСК.
Цифры
- Всего звёзд
- 132
- Сегодня
- +4 звезды по замерам 2026-11-02, 10:06–10:54 UTC, к вечеру ≈ 16
- Форков
- 12
- Issues и pull requests
- 0
- Наблюдателей
- 0
- Язык
- JavaScript
- Лицензия
- MIT
- Создан
- 30 октября 2026
- Последний коммит
- 31 октября 2026
Доверие к звёздам
Рост выглядит естественно: форков и обсуждений столько, сколько бывает у живых проектов, а звёзды приходят неровно, как от людей.
Это эвристики, а не приговор: судим по поведению репозитория, а не по списку звездивших.
Где замечен
- 2 ноября 2026Топ новых репозиториев за неделю: #196
Бейдж для README
Вставьте в README — бейдж сам показывает свежую магнитуду и ведёт на эту страницу.
[](https://gitnova.dev/r/kevintngo/statechart-art)