Top SMT developers globally
languages / SMT / global712 developers
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 31 |  | Sebastian-Schuetz | 1 | 24 |
| 32 |  | lucansky | 1 | 24 |
| 33 |  | tip-org | 1 | 24 |
| 34 |  | giuspek | 6 | 23 |
| 35 |  | open-ephys | 3 | 22 |
| 36 |  | julianthome | 1 | 21 |
| 37 |  | zhoulaifu | 1 | 20 |
| 38 |  | nathanielks | 1 | 19 |
| 39 |  | GaloisInc | 2 | 19 |
| 40 |  | ezyang | 1 | 18 |