PrototypeCommon
cajal-technologies/talos
Wasm interpreter in lean, designed for reasoning
- Owner
- cajal-technologies (organization)
- Stars
- Stars: 191
- Forks
- Forks: 37
- Language
- Lean
- License
- AGPL-3.0
- Created
- 2026
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Lean
All Lean repos- leanprover-community/lean-autoStars: 195LeanPrototype
- lean-dojo/TorchLeanStars: 195LeanPrototype
- lean-ja/lean-by-exampleStars: 193LeanPrototype
- leanprover-community/tutorialsStars: 183LeanPrototype
- leanEthereum/leanVMStars: 180LeanPrototype
- leanprover/doc-gen4Stars: 177LeanPrototype