Popular repositories

1. snarky snarky Public

   OCaml DSL for verifiable computation

   OCaml 485 72

2. o1js o1js Public

   TypeScript framework for zk-SNARKs and zkApps

   TypeScript 466 102

3. proof-systems proof-systems Public

   The proof systems used by Mina

   Rust 370 83

4. zkapp-cli zkapp-cli Public

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

   JavaScript 112 42

5. docs2 docs2 Public

   Docs website for the Mina Protocol.

   JavaScript 65 101

6. ocamlbyexample ocamlbyexample Public

   Learn Ocaml by reading code examples

   OCaml 63 4