# Millillion/lasm

> Lasm compiles Lean 4 programs ahead of time to WebAssembly for Node, edge functions, WASI and browsers, letting you prove properties of deployed code.

- Magnitude: 4.8 out of 10 — Early signal
- Stars: 42 total · +8 stars measured 2026-10-30, 03:46–05:09 UTC, ≈ 38 by evening
- Star trust: star growth looks organic
- Category: Developer tools · Language: C · License: MIT · Created: 2026-09-23 · Last push: 2026-10-29
- GitHub: https://github.com/Millillion/lasm · Homepage: https://www.npmjs.com/package/@lasm/cli · Page: https://gitnova.dev/en/r/Millillion/lasm

## Useful for

- Build a Lean REST API with proofs and deploy it to Cloudflare Workers
- Compile a Lean program to a WASI module for running in wasmtime
- Create a browser app in Lean using the web template and Vite plugin

## Why it’s here

- Star-counter measurements on 2026-10-30 (UTC), 03:46–05:09: 34 → 42 stars (+8). This is the change over that interval.
- Estimated end-of-day forecast: about +38 stars, using observed gains and the previous day.
- Before this, the repository barely got any stars — about 0 per day.
- The repository is 37 days old and already has 42 stars.
- Hacker News: “Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge” — 18 points, 3 h ago.
- Recent forks include notable developers: @robertpenner (588 followers).

## Star trust

Star growth looks organic.

Star-trust labels are heuristics based on the repository’s behavior, not a check of every stargazer.

## Numbers

- Forks: 3
- Issues and pull requests: 21
- Watchers: 2
- Average over the last week: 11 per day
- Usual pace: 0 per day
- Stars in the last hour (measured): 7
- Latest release: v0.3.5 (2026-10-28)

## Stars per day, last 30 days (oldest → newest, today is partial)

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 points, 1 comments: https://news.ycombinator.com/item?id=50299004

## Spotted in now

- Spotted on Hacker News

## More in this category

1. **herdrdev/herdr-app** — 7.2 · Early signal · Developer tools · Rust · +59 stars measured 2026-10-30, 03:05–05:09 UTC, ≈ 260 by evening
   Desktop app for terminals and coding agents: organizes work into spaces, tabs and panes, shows agent status, and keeps terminals running when the window closes. Supports remote machines over SSH.
   Full card: https://gitnova.dev/en/r/herdrdev/herdr-app.md
2. **l0ng-ai/openidea** — 7.1 · Early signal · Developer tools · TypeScript · +216 stars measured 2026-10-30, 00:15–05:09 UTC, ≈ 637 by evening
   A native IDE with a Rust core that recreates the familiar IntelliJ IDEA workflow: keymap, tool windows and search-everywhere. It bundles an editor, code insight, debugger, Git, terminal, database and HTTP clients for 60+ languages.
   Full card: https://gitnova.dev/en/r/l0ng-ai/openidea.md
3. **nyakang/nyaterm** — 5.3 · Breakout · Developer tools · Rust · +30 stars measured 2026-10-30, 00:16–05:09 UTC, ≈ 129 by evening
   A desktop remote terminal workspace built with Tauri, React, and Rust: SSH, local shells, Telnet, Serial, RDP, VNC, SFTP, tunnels, OTP, AI assistance, and encrypted sync in one client.
   Full card: https://gitnova.dev/en/r/nyakang/nyaterm.md
4. **theconsensuslabs/noalloc** — 5.1 · Early signal · Developer tools · Go · +7 stars measured 2026-10-30, 00:16–05:09 UTC, ≈ 51 by evening
   Tooling and libraries to enforce zero heap allocations in Go: a CLI checks the entire call tree of a function marked //noalloc:root and reports allocating lines. Also ships bounded fixed-capacity containers (Buf, Vec, Slice, Map) and a…
   Full card: https://gitnova.dev/en/r/theconsensuslabs/noalloc.md
5. **cutetailbud/ff-ruyijs** — 5.0 · Early signal · Developer tools · C++ · +17 stars measured 2026-10-30, 00:16–05:09 UTC, ≈ 57 by evening
   Embeds Firefox's real SpiderMonkey JS engine and Necko network stack in Python to run a site's JavaScript headlessly for scraping, JS reverse engineering and bypassing bot checks. Windows x64 only.
   Full card: https://gitnova.dev/en/r/cutetailbud/ff-ruyijs.md

---

Magnitude (0–10) measures how fast and how unusually interest in a repository is growing right now. It is not a quality score.
Days are UTC. “So far today” is a fact; “expected by the end of the day” is a forecast.
Summaries and use cases are written by an LLM (DeepSeek V4.1 Flash) from the README and may be inaccurate: verify specific claims (benchmarks, speed, hardware) in the repository itself.
Data as of 2026-10-30 05:20 UTC, updated every 30 minutes.