← Latest products

Talos

Open-source WASM interpreter for Lean. Wasm interpreter in lean, designed for reasoning. At Cajal (YC W26) we’re excited to share Talos ( https://github.com/cajal-technologies/talos ), an open source framework for formal verification of WebAssembly modules in Lean.

Open source

191 stars · GitHubexternal site

Visit github.comexternal site

Reactions (1)

Similar products

by description similarity

  1. Tangent

    github.com

    Security log pipeline powered by WASM

    Hacker News28 pts

  2. Obelisk

    obeli.sk

    a WASM-based deterministic workflow engine

    Hacker News103 pts

  3. Lasm

    github.com

    Write formally verified webapps in Lean for Node/serverless/edge

    Hacker News38 pts

  4. AutoLISP interpreter in Rust/WASM

    acadlisp.de

    a CAD workflow invented 33 yrs ago

    Hacker News137 pts

  5. Kandelo

    kandelo.dev

    a POSIX-compatible multi-process WASM kernel for the browser

    Hacker News12 pts