o1-labs's tracked open-source repos, sorted by stars.
TypeScript framework for zk-SNARKs and zkApps
OCaml DSL for verifiable computation