Topic Hub
#program-logic (1 Repositories)
Ranked open-source repositories tagged with #program-logic, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
7.1%
Avg Review Latency
1.8h
Filter by language
Rankings/rankings/lean
1 repositories tagged #program-logic
B TierLELean 138
Verified-zkEVM/VCVio
A Lean library for machine-checked cryptographic proofs.
7.1%
Merge Rate
2h
First Review
0%
1st-Timers
1
Maintainers