npm
o1-labs/o1js
TypeScript framework for zk-SNARKs and zkApps
Apache-2.0Jul 29, 2026 · metrics 2.10.0
All tags
Catalogue tag
#zk
Every repository in the public record carrying this tag — from its GitHub topics or the keywords its package registries publish. Health is measured under the same versioned methodology as the rest of the record.
10 records
npm · crates.io
0xMiden/web-sdk
Miden network web-centric SDK
MITJul 31, 2026 · metrics 2.10.0
crates.io
TaceoLabs/circom-helpers
No repository description published.
Apache-2.0Aug 8, 2026 · metrics 2.10.0
npm · crates.io
tetsuo-ai/agenc-protocol
Public protocol source of truth for AgenC: Anchor program, zkVM guest, migrations, and generated protocol artifacts
GPL-3.0Jul 31, 2026 · metrics 2.10.0
Go
JupiterMetaLabs/jmdn
JMDT Decentralized Network codebase
Apache-2.0Jul 19, 2026 · metrics 2.10.0
—
zk-org/zk-nvim
Neovim extension for zk
GPL-3.0Aug 3, 2026 · metrics 2.10.0
crates.io
davxy/ark-vrf
Elliptic Curve VRFs
MITAug 15, 2026 · metrics 2.10.0
npm
lemmaoracle/lemma
Give AI proven facts — a cryptographically verified truth layer for agent AI, built on ZK proofs, selective disclosure, and on-chain provenance.
Custom licenseJul 29, 2026 · metrics 2.10.0
crates.io
philsippl/circom-witness-rs
No repository description published.
MITAug 8, 2026 · metrics 2.10.0
npm
TaceoLabs/oprf-client-js
No repository description published.
MITAug 2, 2026 · metrics 2.10.0