Erfasste Open-Source-Repos von o1-labs, sortiert nach Sternen.
TypeScript-Framework für zk-SNARKs und zkApps
OCaml-DSL für verifizierbare Berechnungen.
