F*
languages / F*201Developers
Top ranked
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 1 |  | FStarLang | 1 | 2,302 |
| 2 |  | project-everest | 4 | 368 |
| 3 |  | felixstorm | 1 | 47 |
| 4 |  | denismerigoux | 1 | 39 |
| 5 |  | gem-pasteur | 1 | 37 |
| 6 |  | hltdi | 4 | 23 |
| 7 |  | s-falke | 1 | 18 |
| 8 |  | msr-quarc | 1 | 17 |
| 9 |  | konnov | 1 | 13 |
| 10 |  | plemey | 1 | 12 |
236Repos
Top ranked
| Rank | Repo | Stars | Developer | |
|---|---|---|---|---|
 | 1 | FStar | 2,302 | FStarLang |
| 2 | everparse | 179 | project-everest |
| 3 | mitls-fstar | 165 | project-everest |
| 4 | Creality_Ender_3_ESP32_Board | 47 | felixstorm |
| 5 | rox-star | 39 | denismerigoux |
| 6 | Integron_Finder | 37 | gem-pasteur |
| 7 | HornMorpho | 21 | hltdi |
| 8 | kittel-koat | 18 | s-falke |
| 9 | QUIC-FStar | 17 | project-everest |
| 10 | ReVerC | 17 | msr-quarc |
Most popular
| Topic | Repos | Stars |
|---|---|---|
| dependent-types | 2 | 2,308 |
| verification | 2 | 2,302 |
| programming-language | 1 | 2,302 |
| 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 | 8 | 31 |