Topic Hub
#z3 (3 Repositories)
Ranked open-source repositories tagged with #z3, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
44.9%
Avg Review Latency
94.7h
Filter by language
3 repositories tagged #z3
B TierPython 1.3k
pschanely/CrossHair
An analysis tool for Python that blurs the line between testing and type systems.
70.0%
Merge Rate
12h
First Review
100%
1st-Timers
1
Maintainers
B TierScala 403
epfl-lara/stainless
Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless
64.6%
Merge Rate
11d
First Review
25%
1st-Timers
5
Maintainers
D TierPython 199
testsmt/yinyang
A fuzzing framework for SMT solvers
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers