# argumentcomputer/yatima

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

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

argumentcomputer/yatima has 148 stars on GitHub. Its RepoMasters card: Prototype tier. A zero-knowledge Lean4 compiler and kernel Language: Lean.

| Field | Value |
| --- | --- |
| Owner | [argumentcomputer](https://repo.masters-masters.com/en/owners/argumentcomputer) |
| Stars | 148 |
| Forks | 12 |
| Language | [Lean](https://repo.masters-masters.com/en/languages/lean) |
| License | MIT |
| Created | 2022 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [argumentcomputer/yatima](https://github.com/argumentcomputer/yatima) |

## Repository

A zero-knowledge Lean4 compiler and kernel

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by argumentcomputer

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

## Nearby in Lean

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

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.