Fossy
fossy
Back cajal-technologies/talos
talos

talos

Wasm interpreter in lean, designed for reasoning

154 19106 HN points
AGPL-3.0
 last commit 2026-06-26
Source
Share:

About

Wasm interpreter in lean, designed for reasoning

Languages

Lean97.6%Astro0.6%Shell0.5%CSS0.4%Rust0.4%Just0.2%TypeScript0.2%JavaScript0.1%WebAssembly0.1%

Contributors11

mfornet104El3ssar32Isabelle99998theebayuser6waterball014jasisz4nilox941JessiP231Kayvan-Zahiri1pedronobrol1hobostay1

No features listed.

Comments Theme
slug: talos

Sponsored

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