Topic Hub
#snark (3 Repositories)
Ranked open-source repositories tagged with #snark, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
71.7%
Avg Review Latency
37.1h
Filter by language
3 repositories tagged #snark
A TierRust 176
binius-zk/binius64
Binary Proofs, Blazing Fast
86.6%
Merge Rate
1d
First Review
67%
1st-Timers
6
Maintainers
A TierLELean 327
Verified-zkEVM/ArkLib
Formally Verified Arguments of Knowledge in Lean
64.7%
Merge Rate
1d
First Review
67%
1st-Timers
8
Maintainers
B TierRust 1.0k
a16z/jolt
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
63.7%
Merge Rate
2d
First Review
67%
1st-Timers
10
Maintainers