Top F* developers globally
languages / F* / global284 developers
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 11 |  | xthua | 1 | 16 |
| 12 |  | wenkokke | 1 | 16 |
| 13 |  | mtzguido | 1 | 15 |
| 14 |  | verified-HRoT | 1 | 14 |
| 15 |  | konnov | 1 | 13 |
| 16 |  | IEAWindTask37 | 1 | 13 |
| 17 |  | catalin-hritcu | 1 | 12 |
| 18 |  | kant2002 | 2 | 11 |
| 19 |  | plemey | 1 | 11 |
| 20 |  | W95Psp | 7 | 11 |