Top F* developers globally
languages / F* / global285 developers
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 1 |  | FStarLang | 4 | 2,599 |
| 2 |  | hacl-star | 2 | 1,594 |
| 3 |  | project-everest | 5 | 441 |
| 4 |  | cryspen | 1 | 111 |
| 5 |  | gem-pasteur | 1 | 61 |
| 6 |  | felixstorm | 1 | 53 |
| 7 |  | hltdi | 4 | 39 |
| 8 |  | denismerigoux | 1 | 38 |
| 9 |  | s-falke | 1 | 21 |
| 10 |  | msr-quarc | 1 | 18 |