Top F* developers globally
languages / F* / global285 developers
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 21 |  | prismlab | 2 | 11 |
| 22 |  | project-windio | 1 | 9 |
| 23 |  | mmdagent-ex | 2 | 8 |
| 24 |  | CatalaLang | 1 | 8 |
| 25 |  | d-plaindoux | 1 | 7 |
| 26 |  | amiller | 1 | 7 |
| 27 |  | hacklex | 3 | 6 |
| 28 |  | anakrish | 1 | 5 |
| 29 |  | Starwort | 1 | 5 |
| 30 |  | Inria-Prosecco | 1 | 5 |