Popular repositories Loading

1. o1js o1js Public

   TypeScript framework for zk-SNARKs and zkApps

   TypeScript 579 158

2. snarky snarky Public

   OCaml DSL for verifiable computation

   OCaml 503 85

3. proof-systems proof-systems Public

   The proof systems used by Mina

   Rust 443 127

4. zkapp-cli zkapp-cli Public

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

   JavaScript 123 47

5. openmina openmina Public

   OpenMina is an implementation in Rust of the Mina Protocol

   Rust 99 37

6. ocamlbyexample ocamlbyexample Public

   Learn Ocaml by reading code examples

   OCaml 72 4