Top SMT developers globally
languages / SMT / global712 developers
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 11 |  | CyZooNiC | 1 | 118 |
| 12 |  | eclsnowman | 1 | 112 |
| 13 |  | regb | 2 | 92 |
| 14 |  | PL-ML | 2 | 85 |
| 15 |  | Practical-Formal-Methods | 1 | 84 |
| 16 |  | eth-sri | 1 | 84 |
| 17 |  | hopv | 3 | 75 |
| 18 |  | c-cube | 4 | 71 |
| 19 |  | Z3Prover | 3 | 66 |
| 20 |  | bzhan | 1 | 56 |