F*
languages / F*311Developers
Top ranked
| 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 |
383Repos
Top ranked
| Rank | Repo | Stars | Developer | |
|---|---|---|---|---|
 | 1 | FStar | 2,696 | FStarLang |
| 2 | hacl-star | 1,626 | hacl-star |
| 3 | everparse | 251 | project-everest |
| 4 | mitls-fstar | 173 | project-everest |
| 5 | bertie | 112 | cryspen |
| 6 | Integron_Finder | 67 | gem-pasteur |
| 7 | Creality_Ender_3_ESP32_Board | 55 | felixstorm |
| 8 | rox-star | 40 | denismerigoux |
| 9 | steel | 31 | FStarLang |
| 10 | kittel-koat | 21 | s-falke |