← 최신 프로덕트

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.

오픈소스

87 스타 · GitHub외부 사이트

github.com 방문외부 사이트

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  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점

  2. Torrix

    github.com

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

    Hacker News74점

  3. Talos

    github.com

    Open-source WASM interpreter for Lean

    Hacker News106점

  4. Shade/Bs

    ui.masoftware.net

    Modern Web UIs Without Node.js

    Hacker News15점

  5. Webapp.io

    webapp.io

    Free firecracker-based full-stack hosting

    Hacker News120점