← 최신 프로덕트

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.

오픈소스

191 스타 · GitHub외부 사이트

github.com 방문외부 사이트

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  1. Tangent

    github.com

    Security log pipeline powered by WASM

    Hacker News28점

  2. Obelisk

    obeli.sk

    a WASM-based deterministic workflow engine

    Hacker News103점

  3. Lasm

    github.com

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

    Hacker News38점

  4. AutoLISP interpreter in Rust/WASM

    acadlisp.de

    a CAD workflow invented 33 yrs ago

    Hacker News137점

  5. Kandelo

    kandelo.dev

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

    Hacker News12점