PrototypeCommune
argumentcomputer/ix
a zero-knowledge proof-carrying code protocol for Lean 4
- Propriétaire
- argumentcomputer (organisation)
- Étoiles
- Étoiles : 107
- Forks
- Forks : 5
- Langage
- Rust
- Licence
- Apache-2.0
- Création
- 2025
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de argumentcomputer
Les 3 dépôts de argumentcomputer- argumentcomputer/yatima-lang-alphaÉtoiles : 445RustAlpha
- argumentcomputer/yatimaÉtoiles : 148LeanPrototype
D’autres dépôts Rust
Tous les dépôts Rust- cachix/agentapsÉtoiles : 107RustPrototype
- henrydennis/petalÉtoiles : 107RustPrototype
- nixesty/now-barÉtoiles : 107RustPrototype
- Florob/RustyXMLÉtoiles : 107RustPrototype
- mopp/AxelÉtoiles : 107RustPrototype
- systemd-cron/systemd-cron-nextÉtoiles : 107RustPrototype