Top Boogie developers globally
languages / Boogie / global30 developers
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 1 |  | boogie-org | 3 | 548 |
| 2 |  | codersguild | 1 | 34 |
| 3 |  | ananas-block | 1 | 5 |
| 4 |  | kframework | 1 | 5 |
| 5 |  | michael-emmi | 1 | 4 |
| 6 |  | gauravpartha | 1 | 3 |
| 7 |  | S3L-official | 1 | 2 |
| 8 |  | Samialsayadi | 1 | 2 |
| 9 |  | GreenieQwQ | 1 | 2 |
| 10 |  | pontem-network | 1 | 2 |