Topic Hub
#cnf (4 Repositories)
Ranked open-source repositories tagged with #cnf, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
55.8%
Avg Review Latency
9.4h
Filter by language
4 repositories tagged #cnf
S TierC++ 591
stp/stp
Simple Theorem Prover, an efficient SMT solver for bitvectors, floating-point and arrays.
84.1%
Merge Rate
11h
First Review
100%
1st-Timers
4
Maintainers
A TierMUMustache 183
lfn-cnti/testsuite
📞📱☎️📡🌐 Cloud Native Telecom Initiative (CNTi) Test Suite is a tool to check for and provide feedback on the use of K8s + cloud native best practices in networking applications and platforms
80.0%
Merge Rate
-
First Review
33%
1st-Timers
6
Maintainers
A TierC++ 229
omec-project/upf
5G Mobile Core User Plane
59.0%
Merge Rate
-
First Review
60%
1st-Timers
5
Maintainers
D TierC++ 940
msoos/cryptominisat
An advanced SAT solver
0.0%
Merge Rate
1d
First Review
0%
1st-Timers
1
Maintainers