# argumentcomputer/ix

<https://repo.masters-masters.com/repos/argumentcomputer/ix>

[Accueil](https://repo.masters-masters.com/) › [argumentcomputer](https://repo.masters-masters.com/owners/argumentcomputer) › [ix](https://repo.masters-masters.com/repos/argumentcomputer/ix)

argumentcomputer/ix, dépôt open source à 107 étoiles sur GitHub. Carte Prototype de RepoMasters. a zero-knowledge proof-carrying code protocol for Lean 4

| Champ | Valeur |
| --- | --- |
| Propriétaire | [argumentcomputer](https://repo.masters-masters.com/owners/argumentcomputer) |
| Étoiles | 107 |
| Forks | 5 |
| Langage | [Rust](https://repo.masters-masters.com/languages/rust) |
| Licence | Apache-2.0 |
| Création | 2025 |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [argumentcomputer/ix](https://github.com/argumentcomputer/ix) |

## Fiche du dépôt

a zero-knowledge proof-carrying code protocol for Lean 4

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## Autres dépôts de argumentcomputer

- [argumentcomputer/yatima-lang-alpha · ★ 445 · Rust · Alpha](https://repo.masters-masters.com/repos/argumentcomputer/yatima-lang-alpha)
- [argumentcomputer/yatima · ★ 148 · Lean · Prototype](https://repo.masters-masters.com/repos/argumentcomputer/yatima)

## D’autres dépôts Rust

- [cachix/agentaps · ★ 107 · Rust · Prototype](https://repo.masters-masters.com/repos/cachix/agentaps)
- [henrydennis/petal · ★ 107 · Rust · Prototype](https://repo.masters-masters.com/repos/henrydennis/petal)
- [XNinety9/Printr · ★ 107 · Rust · Prototype](https://repo.masters-masters.com/repos/XNinety9/Printr)
- [Florob/RustyXML · ★ 107 · Rust · Prototype](https://repo.masters-masters.com/repos/Florob/RustyXML)
- [mopp/Axel · ★ 107 · Rust · Prototype](https://repo.masters-masters.com/repos/mopp/Axel)
- [systemd-cron/systemd-cron-next · ★ 107 · Rust · Prototype](https://repo.masters-masters.com/repos/systemd-cron/systemd-cron-next)

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.