Millillion/lasm
- Total stars
- 37
- Today
- +3since 03:46 UTC
Save to My finds to follow releases and star growth. Saved in this browser.
About the project
Lasm compiles Lean 4 programs ahead of time to WebAssembly for Node, edge functions, WASI and browsers, letting you prove properties of deployed code.
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
README summarized by DeepSeek V4.1 Flash. Details may be inaccurate. Read the original README →
Star growth looks organic. Data as of October 30, 2026, 04:38 UTC.
The star-growth assessment does not verify whether the project is safe to run.
Stars per day
Bars show stars per UTC day; the line is a moving average of available history. Gaps mean missing data, not zero growth. Today's bar is incomplete. Red marks spike days.
Why it’s trending
- Star-counter measurements on 2026-10-30 (UTC), 03:46–04:29: 34 → 37 stars (+3). This is the change over that interval.
- Estimated end-of-day forecast: about +28 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 37 stars.
- Hacker News: “Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge” — 16 points, 2 h ago.
- Recent forks include notable developers: @robertpenner (588 followers).
Measured growth: the last 7 completed days
New stars over 7 days: 35.
Daily measurements · UTC
- October 23, 2026
- 0
- October 24, 2026
- 0
- October 25, 2026
- 0
- October 26, 2026
- 0
- October 27, 2026
- 0
- October 28, 2026
- 0
- October 29, 2026
- 35
Largest measured day in the last 30 days: 35 · October 29, 2026. Days with data: 30.
Completed days come from GitHub star history; today and forecasts are excluded from this comparison. History checked: October 30, 2026, 04:37 UTC. Sources and measurement limits →
Three GitHub discoveries in each edition
What they do, why they are gaining interest, and what to check before using them.
Editions at 10:00, 16:00, 22:00 MSK.
Numbers
- Total stars
- 37
- Today
- +3 stars measured 2026-10-30, 03:46–04:29 UTC, ≈ 28 by evening
- Forks
- 3
- Issues and pull requests
- 21
- Watchers
- 2
- Language
- C
- License
- MIT
- Latest release
- v0.3.5 · October 28, 2026
- Created
- September 23, 2026
- Last push
- October 29, 2026
Star trust
Growth looks organic: forks and discussion are in line with active projects, and stars arrive unevenly, the way people give them.
These are heuristics, not a verdict: we judge by the repository’s behavior, not by a list of stargazers.
Hacker News discussions
- Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge16 points, October 30, 2026
Spotted in
- October 30, 2026Spotted on Hacker News
README badge
Paste it into your README — the badge shows the current magnitude and links to this page.
[](https://gitnova.dev/en/r/Millillion/lasm)