talos
by cajal-technologies · github.com/cajal-technologies/talos
Wasm interpreter in lean, designed for reasoning
Stars
★ 154
Forks
18
Language
Lean
Category
Other
License
AGPL-3.0
lean
Featured in
- talos @ 01:03 · Jun 26, 2026
by cajal-technologies · github.com/cajal-technologies/talos
Wasm interpreter in lean, designed for reasoning