Top SMT developers globally
languages / SMT / global712 developers
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 21 |  | marmat | 1 | 45 |
| 22 |  | awslabs | 2 | 40 |
| 23 |  | matt-noonan | 1 | 39 |
| 24 |  | jamesbornholt | 1 | 37 |
| 25 |  | SyGuS-Org | 1 | 34 |
| 26 |  | Paradoxika | 1 | 33 |
| 27 |  | RAKWireless | 1 | 32 |
| 28 |  | PrintM3D | 1 | 28 |
| 29 |  | paddygoat | 1 | 27 |
| 30 |  | TermCOMP | 1 | 27 |