Topic Hub
#certora (1 Repositories)
Ranked open-source repositories tagged with #certora, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
0.0%
Avg Review Latency
0.0h
Filter by language
Rankings/rankings/kotlin
1 repositories tagged #certora
D TierKotlin 328
Certora/CertoraProver
The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers