cristianoc/TScert
- Всего звёзд
- 141
- Сегодня
- +0с 00:09 UTC
Другие действия
TScert: a sound core for TypeScript. An independent checker, whose soundness is proved in Lean, accepts a TypeScript function only with a proof.
Сохрани в «Мои находки», чтобы следить за релизами и ростом звёзд. Сохраняется в этом браузере.
О проекте
Исследовательский верификатор TypeScript-функций: принимает функцию только с доказательством типобезопасности, а корректность самого чекера доказана в Lean 4. Отклоняет `any`, type assertions и небезопасные чтения массивов, которые пропускает `tsc`.
Чем пригодится
- Проверить отдельную TypeScript-функцию на типобезопасность через `make check FILE=...`
- Найти места, где `tsc` пропускает чтение `undefined` из массива после `pop`
- Изучить формальную семантику и правила типизации подмножества TypeScript в Lean
Пересказ README моделью DeepSeek V4.1 Flash. Может ошибаться в деталях. Оригинал README →
Рост звёзд выглядит естественно. Данные на 9 ноября 2026, 01:38 UTC.
Оценка роста звёзд не подтверждает безопасность запуска.
Звёзды по дням
Столбики — звёзды за день UTC; линия — скользящее среднее доступной истории. Пропуски означают отсутствие данных, а не нулевой рост. Сегодняшний столбик неполный. Красным — дни всплесков.
Почему он в тренде
- По замерам счётчика за 2026-11-09 (UTC), 00:09–01:36: 141 → 141 звёзд (+0). Это прирост за указанный интервал.
- Репозиторию 24 дня, а у него уже 141 звезда.
- Hacker News: «TScert: A Sound Core for TypeScript» — 25 очков, 4 дня назад.
- Среди свежих форков — заметные разработчики: @robertpenner (589 подп.).
Замеры роста: последние 7 полных дней
Новые звёзды за 7 дней: 141.
Замеры по дням · UTC
- 2 ноября 2026
- 0
- 3 ноября 2026
- 0
- 4 ноября 2026
- 101
- 5 ноября 2026
- 34
- 6 ноября 2026
- 2
- 7 ноября 2026
- 4
- 8 ноября 2026
- 0
Максимальный измеренный день за последние 30 дней: 101 · 4 ноября 2026. Дней с данными: 24.
Полные дни — из истории звёзд GitHub; сегодня и прогнозы исключены из сравнения. История проверена: 9 ноября 2026, 01:38 UTC. Источники и ограничения замеров →
Три GitHub-находки в каждом выпуске
Что делают, почему набирают интерес и что проверить перед использованием.
Выпуски в 10:00, 16:00, 22:00 МСК.
Цифры
- Всего звёзд
- 141
- Сегодня
- +0 звёзд по замерам 2026-11-09, 00:09–01:36 UTC, к вечеру ≈ 0
- Форков
- 3
- Issues и pull requests
- 129
- Наблюдателей
- 1
- Язык
- TypeScript
- Последний релиз
- v0.94 · 4 ноября 2026
- Создан
- 16 октября 2026
- Последний коммит
- 9 ноября 2026
Доверие к звёздам
Рост выглядит естественно: форков и обсуждений столько, сколько бывает у живых проектов, а звёзды приходят неровно, как от людей.
Это эвристики, а не приговор: судим по поведению репозитория, а не по списку звездивших.
Обсуждения на Hacker News
- TScert: A Sound Core for TypeScript25 очков, 4 ноября 2026
Где замечен
- 9 ноября 2026Замечен на Hacker News
- 8 ноября 2026Замечен на Hacker News
- 7 ноября 2026Замечен на Hacker News
- 6 ноября 2026Замечен на Hacker News
- 5 ноября 2026Замечен на Hacker News
Бейдж для README
Вставьте в README — бейдж сам показывает свежую магнитуду и ведёт на эту страницу.
[](https://gitnova.dev/r/cristianoc/TScert)