Top F* repos

languages / F* / global

348 repos

«123...35»
RankRepoStarsDeveloper
FStarLang/steel on Github11steel19FStarLang
project-everest/QUIC-FStar on Github12QUIC-FStar18project-everest
msr-quarc/ReVerC on Github13ReVerC18msr-quarc
xthua/bacant on Github14bacant16xthua
wenkokke/starchild on Github15starchild16wenkokke
mtzguido/verificacion-con-fstar-2024 on Github16verificacion-con-fstar-202415mtzguido
verified-HRoT/dice-star on Github17dice-star14verified-HRoT
IEAWindTask37/IEA-3.4-130-RWT on Github18IEA-3.4-130-RWT13IEAWindTask37
konnov/fault-tolerant-benchmarks on Github19fault-tolerant-benchmarks13konnov
catalin-hritcu/fstar-course on Github20fstar-course12catalin-hritcu