PrototypeCommon
argumentcomputer/ix
a zero-knowledge proof-carrying code protocol for Lean 4
- Owner
- argumentcomputer (organization)
- Stars
- Stars: 107
- Forks
- Forks: 5
- Language
- Rust
- License
- Apache-2.0
- Created
- 2025
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by argumentcomputer
All 3 repos by argumentcomputer- argumentcomputer/yatima-lang-alphaStars: 445RustAlpha
- argumentcomputer/yatimaStars: 148LeanPrototype
Nearby in Rust
All Rust repos- cachix/agentapsStars: 107RustPrototype
- henrydennis/petalStars: 107RustPrototype
- nixesty/now-barStars: 107RustPrototype
- Florob/RustyXMLStars: 107RustPrototype
- mopp/AxelStars: 107RustPrototype
- systemd-cron/systemd-cron-nextStars: 107RustPrototype