# argumentcomputer/yatima

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

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

argumentcomputer/yatima, dépôt open source à 148 étoiles sur GitHub. Carte Prototype de RepoMasters. A zero-knowledge Lean4 compiler and kernel Langage : Lean.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [argumentcomputer](https://repo.masters-masters.com/owners/argumentcomputer) |
| Étoiles | 148 |
| Forks | 12 |
| Langage | [Lean](https://repo.masters-masters.com/languages/lean) |
| Licence | MIT |
| Création | 2022 |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [argumentcomputer/yatima](https://github.com/argumentcomputer/yatima) |

## Fiche du dépôt

A zero-knowledge Lean4 compiler and kernel

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/ix · ★ 107 · Rust · Prototype](https://repo.masters-masters.com/repos/argumentcomputer/ix)

## D’autres dépôts Lean

- [lfglabs-dev/verity · ★ 152 · Lean · Prototype](https://repo.masters-masters.com/repos/lfglabs-dev/verity)
- [josevalim/lynx · ★ 152 · Lean · Prototype](https://repo.masters-masters.com/repos/josevalim/lynx)
- [flypitch/flypitch · ★ 150 · Lean · Prototype](https://repo.masters-masters.com/repos/flypitch/flypitch)
- [kmill/lean4-raytracer · ★ 147 · Lean · Prototype](https://repo.masters-masters.com/repos/kmill/lean4-raytracer)
- [Timeroot/Lean-QuantumInfo · ★ 146 · Lean · Prototype](https://repo.masters-masters.com/repos/Timeroot/Lean-QuantumInfo)
- [loganrjmurphy/LeanEuclid · ★ 145 · Lean · Prototype](https://repo.masters-masters.com/repos/loganrjmurphy/LeanEuclid)

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