Top Boogie developers globally
languages / Boogie / global33 developers
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 11 |  | emptylambda | 2 | 1 |
| 12 |  | NICKINFORMATICARESERVA | 1 | 0 |
| 13 |  | Koeding | 1 | 0 |
| 14 |  | CongDangLuu | 1 | 0 |
| 15 |  | gantaAishwarya | 1 | 0 |
| 16 |  | DoubleBlindSubmission | 1 | 0 |
| 17 |  | byteZorvin | 1 | 0 |
| 18 |  | md-sameerparmar | 1 | 0 |
| 19 |  | pwollemi | 1 | 0 |
| 20 |  | c-neri | 1 | 0 |