Topic Hub
#k-induction (1 Repositories)
Ranked open-source repositories tagged with #k-induction, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
93.2%
Avg Review Latency
12.2h
Filter by language
Rankings/rankings/cpp
1 repositories tagged #k-induction
S TierC++ 513
esbmc/esbmc
The efficient SMT-based context-bounded model checker (ESBMC)
93.2%
Merge Rate
12h
First Review
84%
1st-Timers
12
Maintainers