Fossy
fossy
Back Millillion/lasm
lasm

lasm

Lean for JavaScript and WebAssembly runtimes

67 4
MIT
 last commit 2026-10-29
buncloudflare-workerscompilerdenodependent-typesedge-computingformal-verificationfull-stackfunctional-programmingjavascript
Website Source
Share:

About

Lean for JavaScript and WebAssembly runtimes

Languages

C60%JavaScript32.6%Lean5.5%Python1.2%C++0.6%Shell0.1%CSS0%HTML0%Dockerfile0%PowerShell0%

Contributors2

lastmjs1161github-actions[bot]19

No features listed.

Comments Theme
Platforms
Web
Interface
Web
Install
npm
Keywords
bun
cloudflare-workers
compiler
deno
dependent-types
edge-computing
formal-verification
full-stack
functional-programming
javascript
lean
lean4
nodejs
runtime
serverless
theorem-proving
wasi
wasm
webassembly
slug: lasm

Sponsored

Ad space
300 × 250 (IAB)
SponsorSponsorSponsorSponsor
Ad space
300 × 250 (IAB)
Ad space
300 × 250 (IAB)