F*
languages / F*284Developers
Top ranked
Rank | Developer | Repos | Stars | |
---|---|---|---|---|
1 | FStarLang | 4 | 2,588 | |
2 | hacl-star | 2 | 1,589 | |
3 | project-everest | 5 | 435 | |
4 | cryspen | 1 | 110 | |
5 | gem-pasteur | 1 | 60 | |
6 | felixstorm | 1 | 53 | |
7 | denismerigoux | 1 | 38 | |
8 | hltdi | 4 | 38 | |
9 | s-falke | 1 | 21 | |
10 | msr-quarc | 1 | 18 |
348Repos
Top ranked
Rank | Repo | Stars | Developer | |
---|---|---|---|---|
1 | FStar | 2,565 | FStarLang | |
2 | hacl-star | 1,583 | hacl-star | |
3 | everparse | 234 | 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 |