Top Boogie developers globally
languages / Boogie / global33 developers
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 21 |  | Luweicai | 1 | 0 |
| 22 |  | codyjrivera | 1 | 0 |
| 23 |  | SHREYASINGH29 | 1 | 0 |
| 24 |  | ShlKan | 1 | 0 |
| 25 |  | jayu9596 | 2 | 0 |
| 26 |  | patosabogal | 1 | 0 |
| 27 |  | fanyi-zhao | 1 | 0 |
| 28 |  | Franklinliu | 1 | 0 |
| 29 |  | Caruso33 | 1 | 0 |
| 30 |  | Zekt | 1 | 0 |