← Latest products

Lasm

Write formally verified webapps in Lean for Node/serverless/edge. Lean for JavaScript and WebAssembly runtimes. Lasm has been my dream for a good part of 2026.

Open source

87 stars · GitHubexternal site

Visit github.comexternal site

Reactions (1)

Similar products

by description similarity

  1. Solving complex optimization problems with Google OR-Tools in browser

    github.com

    Running Google OR-Tools multi-threaded in browser using WebAssembly 🪸

    Hacker News12 pts

  2. Torrix

    github.com

    self hosted, LLM Observability,(no Postgres, no Redis)

    Hacker News74 pts

  3. Talos

    github.com

    Open-source WASM interpreter for Lean

    Hacker News106 pts

  4. Shade/Bs

    ui.masoftware.net

    Modern Web UIs Without Node.js

    Hacker News15 pts

  5. Webapp.io

    webapp.io

    Free firecracker-based full-stack hosting

    Hacker News120 pts