Z3Prover
Z3 Theorem Prover Joined Mar 2015 View on GitHub
- Stars
- 13,136
- across 11 public repos
- Rank
- #2,952
- of 94,827 organizations, top 4%
- Down 146 places this week
Repositories with 50+ stars
| Rank | Repository | Language | Stars |
|---|---|---|---|
| 4,209 | The Z3 Theorem Prover | C++ | 12,910 |
| 443,077 | A self-contained firewall checker | C# | 112 |
| 834,146 | Documentation | SMT | 50 |
Among 94,827 organizations
10k–16k stars: 1,461 organizations, including Z3Prover
top 50%top 10%top 1%top 0.1% 
Stars along the bottom, and organizations in each band on a log scale
Where the stars are
Languages
- C++ 12.9k stars, 98% · 1 repo
- C# 112 stars, 1% · 1 repo
- SMT 50 stars, <1% · 1 repo
When they were made
3 repos with 50+ stars, made between 2015 and 2018
101001k10k100k docFirewallCheckerz3
Quick stats
- Next rank
- +23 stars to reach #2,951
- Next milestone
- +21,837 stars to reach the top 1%
- Public repos
- 11, 3 with 50+ stars
- Popular repos
- 1 over 1k stars, 1 over 10k stars
- Top repo
- z3, #4,209 of all repos, 98% of stars
- Smaller repos
- 64 stars from repos under 50