Popular repositories Loading

1. o1js o1js Public

   TypeScript framework for zk-SNARKs and zkApps

   TypeScript 582 158

2. snarky snarky Public

   OCaml DSL for verifiable computation

   OCaml 503 86

3. proof-systems proof-systems Public

   The proof systems used by Mina

   Rust 444 128

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 106 38

6. ocamlbyexample ocamlbyexample Public

   Learn Ocaml by reading code examples

   OCaml 72 4