Top F* developers globally
languages / F* / global311 developers
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 1 |  | FStarLang | 5 | 2,738 |
| 2 |  | hacl-star | 2 | 1,633 |
| 3 |  | project-everest | 5 | 455 |
| 4 |  | cryspen | 2 | 112 |
| 5 |  | gem-pasteur | 1 | 67 |
| 6 |  | felixstorm | 1 | 55 |
| 7 |  | denismerigoux | 1 | 40 |
| 8 |  | s-falke | 1 | 21 |
| 9 |  | xthua | 1 | 19 |
| 10 |  | msr-quarc | 1 | 19 |