GitHub repository: o1-labs/snarky
Primary language: OCaml
Description: OCaml DSL for verifiable computation