Activity
Stars and mentions · Last 30 days, Oct 6 – Nov 4
Top repositories
Millillion’s repositories ranked by pull request authors, as on trending.
Contributes to
Repositories outside Millillion’s account where Millillion opened or reviewed pull requests in the past 365 days.
Who noticed Millillion
Everyone who starred or forked Millillion’s repositories since the archive began in 2011.
Notable accounts
Ordered by the stars their own repositories have received.
Biggest fans
Accounts that starred the most of these repositories.
Breakout weeks
Each repository’s best week of new stars, with the release published around it.
Achievements
Awards earned by the repositories Millillion owns. Select an award to embed its badge.
No awards yet
Repositories earn awards by reaching the top three in a completed trending day or week.
A repository earns an award for finishing first, second or third in a completed trending day or week, ranked by new stars, new forks or pull request authors. Awards follow a repository through renames and transfers and count toward its current owner. Weeks run Monday to Sunday, UTC.
Mentions
Spent some time with Lasm (Millillion/lasm). It brings Lean to the browser, Node, serverless, and edge environments—an Express or Hono server on Cloudflare Workers, with formal verification of its spec. You can write frontend to backend in Lean and verify it there. Lean is general purpose with verification built in, which is the part that matters. Caveat: the repo says it was built mostly by Claude Opus 5.5 with high-level direction, so treat the toolchain accordingly. Discord discord.gg #lasm #lean
just found a cool open-source project called Lasm. it lets you build web apps in Lean 4 and mathematically prove parts of your code are correct. with AI writing more code than ever, this might actually be a big deal. Millillion/lasm
Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge Millillion/lasm (news.ycombinator.com)
Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge Millillion/lasm (news.ycombinator.com)
Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge
@itz_komal01 We are: Millillion/lasm Though I like to think I'm agentic engineering here
Lasm compiles Lean 4 to WebAssembly and ships a RealWorld app with 117 proved theorems. Proof-carrying code for Node, edge, serverless — and the first framework whose README is written for your coding agent. "Verified" should mean this. Millillion/lasm
Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge Millillion/lasm
Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge Discussion
Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge comments · posted on 2026.10.29 at 22:05:41 (c=0, p=3)