Topic Hub
#dynamic-symbolic-execution (2 Repositories)
Ranked open-source repositories tagged with #dynamic-symbolic-execution, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
50.0%
Avg Review Latency
0.0h
Filter by language
Rankings/rankings/kotlin
2 repositories tagged #dynamic-symbolic-execution
B TierMulti-language 1.5k
ksluckow/awesome-symbolic-execution
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
100.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers
D TierKotlin 497
enzet/symbolic-execution
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers