Millillion/lasm
- Всего звёзд
- 37
- Сегодня
- +3с 03:46 UTC
Сохрани в «Мои находки», чтобы следить за релизами и ростом звёзд. Сохраняется в этом браузере.
О проекте
Lasm компилирует программы на Lean 4 в WebAssembly для Node, edge-функций, WASI и браузера, позволяя доказывать свойства развёрнутого кода.
Чем пригодится
- Собрать REST API на Lean с доказательствами и задеплоить на Cloudflare Workers
- Скомпилировать Lean-программу в WASI-модуль для запуска в wasmtime
- Создать браузерное приложение на Lean с шаблоном web и Vite-плагином
Пересказ README моделью DeepSeek V4.1 Flash. Может ошибаться в деталях. Оригинал README →
Рост звёзд выглядит естественно. Данные на 30 октября 2026, 04:38 UTC.
Оценка роста звёзд не подтверждает безопасность запуска.
Звёзды по дням
Столбики — звёзды за день UTC; линия — скользящее среднее доступной истории. Пропуски означают отсутствие данных, а не нулевой рост. Сегодняшний столбик неполный. Красным — дни всплесков.
Почему он в тренде
- По замерам счётчика за 2026-10-30 (UTC), 03:46–04:29: 34 → 37 звёзд (+3). Это прирост за указанный интервал.
- Расчётный прогноз на конец суток: около +28 звёзд; учитывает наблюдаемый прирост и предыдущий день.
- До этого репозиторий почти не получал звёзд — около 0 в день.
- Репозиторию 37 дней, а у него уже 37 звёзд.
- Hacker News: «Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge» — 16 очков, 2 ч назад.
- Среди свежих форков — заметные разработчики: @robertpenner (588 подп.).
Замеры роста: последние 7 полных дней
Новые звёзды за 7 дней: 35.
Замеры по дням · UTC
- 23 октября 2026
- 0
- 24 октября 2026
- 0
- 25 октября 2026
- 0
- 26 октября 2026
- 0
- 27 октября 2026
- 0
- 28 октября 2026
- 0
- 29 октября 2026
- 35
Максимальный измеренный день за последние 30 дней: 35 · 29 октября 2026. Дней с данными: 30.
Полные дни — из истории звёзд GitHub; сегодня и прогнозы исключены из сравнения. История проверена: 30 октября 2026, 04:37 UTC. Источники и ограничения замеров →
Три GitHub-находки в каждом выпуске
Что делают, почему набирают интерес и что проверить перед использованием.
Выпуски в 10:00, 16:00, 22:00 МСК.
Цифры
- Всего звёзд
- 37
- Сегодня
- +3 звезды по замерам 2026-10-30, 03:46–04:29 UTC, к вечеру ≈ 28
- Форков
- 3
- Issues и pull requests
- 21
- Наблюдателей
- 2
- Язык
- C
- Лицензия
- MIT
- Последний релиз
- v0.3.5 · 28 октября 2026
- Создан
- 23 сентября 2026
- Последний коммит
- 29 октября 2026
Доверие к звёздам
Рост выглядит естественно: форков и обсуждений столько, сколько бывает у живых проектов, а звёзды приходят неровно, как от людей.
Это эвристики, а не приговор: судим по поведению репозитория, а не по списку звездивших.
Обсуждения на Hacker News
- Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge16 очков, 30 октября 2026
Где замечен
- 30 октября 2026Замечен на Hacker News
Бейдж для README
Вставьте в README — бейдж сам показывает свежую магнитуду и ведёт на эту страницу.
[](https://gitnova.dev/r/Millillion/lasm)