AlphaPeu commune
o1-labs/snarky
OCaml DSL for verifiable computation
- Propriétaire
- o1-labs (organisation)
- Étoiles
- Étoiles : 507
- Forks
- Forks : 85
- Langage
- OCaml
- Licence
- MIT
- Création
- 2018
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de o1-labs
Les 5 dépôts de o1-labs- o1-labs/o1jsÉtoiles : 605TypeScriptAlpha
- o1-labs/proof-systemsÉtoiles : 460RustAlpha
- o1-labs/mina-rustÉtoiles : 125RustPrototype
- o1-labs/zkapp-cliÉtoiles : 123JavaScriptPrototype
D’autres dépôts OCaml
Tous les dépôts OCaml- rrdelaney/ReasonablyTypedÉtoiles : 517OCamlAlpha
- mirage/alcotestÉtoiles : 514OCamlAlpha
- multikernel/kernelscriptÉtoiles : 509OCamlAlpha
- jaredly/gravitronÉtoiles : 489OCamlAlpha
- hirrolot/mazeppaÉtoiles : 479OCamlAlpha
- leostera/mintteaÉtoiles : 473OCamlAlpha