Fossy
fossy
Back cajal-technologies/talos
talos

talos

Wasm interpreter in lean, designed for reasoning

171 29106 HN points
AGPL-3.0
 last commit 2026-06-26
Source
Share:

About

Wasm interpreter in lean, designed for reasoning

Languages

Lean98.3%Rust0.4%Astro0.4%Shell0.3%CSS0.2%Just0.1%Python0.1%TypeScript0.1%WebAssembly0.1%JavaScript0%

Contributors13

mfornet128El3ssar59Isabelle999913theebayuser8waterball014jasisz4aadi071nilox941JessiP231Kayvan-Zahiri1lukerj001pedronobrol1hobostay1

No features listed.

Comments Theme
slug: talos

Sponsored

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