F*
languages / F*208Developers
Top ranked
Rank | Developer | Repos | Stars | |
---|---|---|---|---|
1 | ![]() | FStarLang | 1 | 2,373 |
2 | ![]() | hacl-star | 2 | 1,463 |
3 | ![]() | project-everest | 4 | 380 |
4 | ![]() | felixstorm | 1 | 48 |
5 | ![]() | denismerigoux | 1 | 39 |
6 | ![]() | gem-pasteur | 1 | 39 |
7 | ![]() | hltdi | 4 | 26 |
8 | ![]() | s-falke | 1 | 20 |
9 | ![]() | msr-quarc | 1 | 17 |
10 | ![]() | IEAWindTask37 | 2 | 14 |
247Repos
Top ranked
Rank | Repo | Stars | Developer | |
---|---|---|---|---|
![]() | 1 | FStar | 2,373 | FStarLang |
![]() | 2 | hacl-star | 1,461 | hacl-star |
![]() | 3 | everparse | 188 | project-everest |
![]() | 4 | mitls-fstar | 167 | project-everest |
![]() | 5 | Creality_Ender_3_ESP32_Board | 48 | felixstorm |
![]() | 6 | Integron_Finder | 39 | gem-pasteur |
![]() | 7 | rox-star | 39 | denismerigoux |
![]() | 8 | HornMorpho | 24 | hltdi |
![]() | 9 | kittel-koat | 20 | s-falke |
![]() | 10 | QUIC-FStar | 17 | project-everest |
Most popular
Topic | Repos | Stars |
---|---|---|
dependent-types | 2 | 2,324 |
verification | 2 | 2,317 |
programming-language | 1 | 2,317 |
verified-primitives | 1 | 1,446 |
high-performance | 1 | 1,446 |
cryptography | 1 | 1,446 |
bioinformatics | 4 | 38 |
identification | 1 | 37 |
bacterial-genomes | 1 | 37 |
fstar | 7 | 25 |