GitHub repository: o1-labs/snarkette
Primary language: OCaml
Description: Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)