# Millillion/lasm

> Lasm компилирует программы на Lean 4 в WebAssembly для Node, edge-функций, WASI и браузера, позволяя доказывать свойства развёрнутого кода.

- Магнитуда: 4,8 из 10 — Ранний сигнал
- Звёзды: 42 всего · +8 звёзд по замерам 2026-10-30, 03:46–05:09 UTC, к вечеру ≈ 38
- Доверие к звёздам: рост звёзд выглядит естественно
- Категория: Инструменты разработчика · Язык: C · Лицензия: MIT · Создан: 2026-09-23 · Последний коммит: 2026-10-29
- GitHub: https://github.com/Millillion/lasm · Сайт: https://www.npmjs.com/package/@lasm/cli · Страница: https://gitnova.dev/r/Millillion/lasm

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

- Собрать REST API на Lean с доказательствами и задеплоить на Cloudflare Workers
- Скомпилировать Lean-программу в WASI-модуль для запуска в wasmtime
- Создать браузерное приложение на Lean с шаблоном web и Vite-плагином

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

- По замерам счётчика за 2026-10-30 (UTC), 03:46–05:09: 34 → 42 звёзд (+8). Это прирост за указанный интервал.
- Расчётный прогноз на конец суток: около +38 звёзд; учитывает наблюдаемый прирост и предыдущий день.
- До этого репозиторий почти не получал звёзд — около 0 в день.
- Репозиторию 37 дней, а у него уже 42 звезды.
- Hacker News: «Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge» — 18 очков, 3 ч назад.
- Среди свежих форков — заметные разработчики: @robertpenner (588 подп.).

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

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

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

## Цифры

- Форков: 3
- Issues и pull requests: 21
- Наблюдателей: 2
- В среднем за неделю: 11 в день
- Обычный темп: 0 в день
- Звёзд за последний час (по замерам): 7
- Последний релиз: v0.3.5 (2026-10-28)

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

2026-10-01 … 2026-10-30: 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 40, 8

## Hacker News

- Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge — 18 очков, 1 комментариев: https://news.ycombinator.com/item?id=50299004

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

- Замечен на Hacker News

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

1. **herdrdev/herdr-app** — 7,2 · Ранний сигнал · Инструменты разработчика · Rust · +59 звёзд по замерам 2026-10-30, 03:05–05:09 UTC, к вечеру ≈ 260
   Десктопное приложение для терминалов и кодинг-агентов: организует работу в spaces, tabs и panes, показывает статус агентов и сохраняет терминалы запущенными при закрытии окна. Поддерживает удалённые машины по SSH.
   Полная карточка: https://gitnova.dev/r/herdrdev/herdr-app.md
2. **l0ng-ai/openidea** — 7,1 · Ранний сигнал · Инструменты разработчика · TypeScript · +216 звёзд по замерам 2026-10-30, 00:15–05:09 UTC, к вечеру ≈ 637
   Нативная IDE с ядром на Rust, повторяющая привычный рабочий процесс IntelliJ IDEA: раскладка клавиш, tool windows и поиск по всему проекту. Включает редактор, code insight, отладчик, Git, терминал, клиенты баз данных и HTTP для 60+ языков.
   Полная карточка: https://gitnova.dev/r/l0ng-ai/openidea.md
3. **nyakang/nyaterm** — 5,3 · Взлёт · Инструменты разработчика · Rust · +30 звёзд по замерам 2026-10-30, 00:16–05:09 UTC, к вечеру ≈ 129
   Десктопный клиент для удалённых терминалов на Tauri, React и Rust: SSH, локальные шеллы, Telnet, Serial, RDP, VNC, SFTP, туннели, OTP, AI-помощник и шифрованная синхронизация в одном рабочем пространстве.
   Полная карточка: https://gitnova.dev/r/nyakang/nyaterm.md
4. **theconsensuslabs/noalloc** — 5,1 · Ранний сигнал · Инструменты разработчика · Go · +7 звёзд по замерам 2026-10-30, 00:16–05:09 UTC, к вечеру ≈ 51
   Инструмент и библиотеки для контроля отсутствия heap-аллокаций в Go: CLI проверяет всё дерево вызовов функции, помеченной //noalloc:root, и указывает строки с аллокациями. Также включает bounded-контейнеры (Buf, Vec, Slice, Map)…
   Полная карточка: https://gitnova.dev/r/theconsensuslabs/noalloc.md
5. **cutetailbud/ff-ruyijs** — 5,0 · Ранний сигнал · Инструменты разработчика · C++ · +17 звёзд по замерам 2026-10-30, 00:16–05:09 UTC, к вечеру ≈ 57
   Встраивает настоящие движок SpiderMonkey и сетевой стек Necko из Firefox в Python, чтобы headless-исполнять JavaScript сайтов для скрапинга, реверса JS и обхода антибот-проверок. Только Windows x64.
   Полная карточка: https://gitnova.dev/r/cutetailbud/ff-ruyijs.md

---

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