AlphaUncommon
o1-labs/snarky
OCaml DSL for verifiable computation
- Owner
- o1-labs (organization)
- Stars
- Stars: 507
- Forks
- Forks: 85
- Language
- OCaml
- License
- MIT
- Created
- 2018
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by o1-labs
All 5 repos by o1-labs- o1-labs/o1jsStars: 605TypeScriptAlpha
- o1-labs/proof-systemsStars: 460RustAlpha
- o1-labs/mina-rustStars: 125RustPrototype
- o1-labs/zkapp-cliStars: 123JavaScriptPrototype
Nearby in OCaml
All OCaml repos- rrdelaney/ReasonablyTypedStars: 517OCamlAlpha
- mirage/alcotestStars: 514OCamlAlpha
- multikernel/kernelscriptStars: 509OCamlAlpha
- jaredly/gravitronStars: 489OCamlAlpha
- hirrolot/mazeppaStars: 479OCamlAlpha
- leostera/mintteaStars: 473OCamlAlpha