Topic Hub
#klee (2 Repositories)
Ranked open-source repositories tagged with #klee, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
48.4%
Avg Review Latency
4.4h
Filter by language
2 repositories tagged #klee
A TierC++ 3.0k
klee/klee
KLEE Symbolic Execution Engine
96.9%
Merge Rate
9h
First Review
100%
1st-Timers
2
Maintainers
D TierGo 342
SRI-CSL/gllvm
Whole Program LLVM: wllvm ported to go
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers