Top F* repos
languages / F* / global348 repos
Rank | Repo | Stars | Developer | |
---|---|---|---|---|
11 | steel | 19 | FStarLang | |
12 | QUIC-FStar | 18 | project-everest | |
13 | ReVerC | 18 | msr-quarc | |
14 | bacant | 16 | xthua | |
15 | starchild | 16 | wenkokke | |
16 | verificacion-con-fstar-2024 | 15 | mtzguido | |
17 | dice-star | 14 | verified-HRoT | |
18 | IEA-3.4-130-RWT | 13 | IEAWindTask37 | |
19 | fault-tolerant-benchmarks | 13 | konnov | |
20 | fstar-course | 12 | catalin-hritcu |