Z3Prover/
The Z3 Theorem Prover
by Z3 Theorem Prover C++ Other licence 1,726 forks Created Mar 2015 View on GitHub
- Stars
- 12,910
- 98% of Z3Prover's stars
- Rank
- #4,209
- of 847,086 repos, top 0.5%
- Down 6 places this week
- In C++
- #209
- of 45,203 repos, top 0.5%
Among 847,086 repos
10k–16k stars: 2,591 repos, including z3
top 50%top 10%top 1%top 0.1% 
Stars along the bottom, and repos in each band on a log scale
Quick stats
- Next rank
- +1 star to reach #4,208
- Next milestone
- +25,235 stars to reach the top 0.1%
- Popular
- One of 5,747 repos with 10k+ stars
- Yearly average
- 1,110 stars a year since Mar 2015