o1Labs
o1Labs
proof-systems
The proof systems used by Mina
zkapp-cli
CLI to create a zkApp (zero-knowledge app) for Mina Protocol
ocamlbyexample
Learn Ocaml by reading code examples
snarkette
Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)
zkapp-resource-kit
This repository is a resource kit contains links to all code, tools, documentation, and learning materials necessary to successfully become a zkApp developer and contributor. Add your projects or find...
docs2
Docs website for the Mina Protocol.
Archive-Node-API
This is a GraphQL server that is built with the intention of exposing information from Mina's Archive Node