Top SMT developers globally
languages / SMT / global712 developers
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 41 |  | CVC4 | 1 | 16 |
| 42 |  | kframework | 1 | 15 |
| 43 |  | marcorispoli | 14 | 14 |
| 44 |  | AudioGroupCologne | 1 | 14 |
| 45 |  | IljaRukin | 2 | 13 |
| 46 |  | britig | 1 | 13 |
| 47 |  | cdstanford | 2 | 13 |
| 48 |  | Columpio | 1 | 12 |
| 49 |  | secure-foundations | 3 | 11 |
| 50 |  | CGCL-codes | 1 | 11 |