# o1-labs/snarky

<https://repo.masters-masters.com/en/repos/o1-labs/snarky>

[Home](https://repo.masters-masters.com/en) › [o1-labs](https://repo.masters-masters.com/en/owners/o1-labs) › [snarky](https://repo.masters-masters.com/en/repos/o1-labs/snarky)

o1-labs/snarky has 507 stars on GitHub. Its RepoMasters card: Alpha tier. OCaml DSL for verifiable computation Language: OCaml.

| Field | Value |
| --- | --- |
| Owner | [o1-labs](https://repo.masters-masters.com/en/owners/o1-labs) |
| Stars | 507 |
| Forks | 85 |
| Language | [OCaml](https://repo.masters-masters.com/en/languages/ocaml) |
| License | MIT |
| Created | 2018 |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [o1-labs/snarky](https://github.com/o1-labs/snarky) |

## Repository

OCaml DSL for verifiable computation

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## More repos by o1-labs

- [o1-labs/o1js · ★ 605 · TypeScript · Alpha](https://repo.masters-masters.com/en/repos/o1-labs/o1js)
- [o1-labs/proof-systems · ★ 460 · Rust · Alpha](https://repo.masters-masters.com/en/repos/o1-labs/proof-systems)
- [o1-labs/mina-rust · ★ 125 · Rust · Prototype](https://repo.masters-masters.com/en/repos/o1-labs/mina-rust)
- [o1-labs/zkapp-cli · ★ 123 · JavaScript · Prototype](https://repo.masters-masters.com/en/repos/o1-labs/zkapp-cli)

## Nearby in OCaml

- [rrdelaney/ReasonablyTyped · ★ 517 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/rrdelaney/ReasonablyTyped)
- [mirage/alcotest · ★ 514 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/mirage/alcotest)
- [multikernel/kernelscript · ★ 509 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/multikernel/kernelscript)
- [jaredly/gravitron · ★ 489 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/jaredly/gravitron)
- [hirrolot/mazeppa · ★ 479 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/hirrolot/mazeppa)
- [leostera/minttea · ★ 473 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/leostera/minttea)

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