Top F* repos
languages / F* / global348 repos
| Rank | Repo | Stars | Developer | |
|---|---|---|---|---|
 | 1 | FStar | 2,559 | FStarLang |
| 2 | hacl-star | 1,579 | hacl-star |
| 3 | everparse | 232 | project-everest |
| 4 | mitls-fstar | 172 | project-everest |
| 5 | bertie | 110 | cryspen |
| 6 | Integron_Finder | 60 | gem-pasteur |
| 7 | Creality_Ender_3_ESP32_Board | 53 | felixstorm |
| 8 | rox-star | 38 | denismerigoux |
| 9 | HornMorpho | 35 | hltdi |
| 10 | kittel-koat | 21 | s-falke |