Top SMT developers globally
languages / SMT / global712 developers
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 51 |  | classicwuhao | 1 | 10 |
| 52 |  | imandra-ai | 1 | 10 |
| 53 |  | yoni206 | 3 | 9 |
| 54 |  | ahorn | 1 | 9 |
| 55 |  | sl-comp | 4 | 9 |
| 56 |  | makaimann | 3 | 8 |
| 57 |  | gernst | 1 | 8 |
| 58 |  | chc-comp | 17 | 8 |
| 59 |  | csbl | 1 | 8 |
| 60 |  | ZoEplA | 1 | 7 |