Popular repositories

1. snarky snarky Public

   OCaml DSL for verifiable computation

   OCaml 484 72

2. o1js o1js Public

   TypeScript framework for zk-SNARKs and zkApps

   TypeScript 469 102

3. proof-systems proof-systems Public

   The proof systems used by Mina

   Rust 376 85

4. zkapp-cli zkapp-cli Public

   CLI to create a zkApp (zero-knowledge app) for Mina Protocol

   JavaScript 113 42

5. docs2 docs2 Public

   Docs website for the Mina Protocol.

   JavaScript 69 108

6. ocamlbyexample ocamlbyexample Public

   Learn Ocaml by reading code examples

   OCaml 64 4