F*

languages / F*
201Developers

Top ranked

RankDeveloperReposStars
1gravatar for FStarLangFStarLang12,302
2gravatar for project-everestproject-everest4368
3gravatar for felixstormfelixstorm147
4gravatar for denismerigouxdenismerigoux139
5gravatar for gem-pasteurgem-pasteur137
6gravatar for hltdihltdi423
7gravatar for s-falkes-falke118
8gravatar for msr-quarcmsr-quarc117
9gravatar for konnovkonnov113
10gravatar for plemeyplemey112
236Repos

Top ranked

RankRepoStarsDeveloper
FStarLang/FStar on Github1FStar2,302FStarLang
project-everest/everparse on Github2everparse179project-everest
project-everest/mitls-fstar on Github3mitls-fstar165project-everest
felixstorm/Creality_Ender_3_ESP32_Board on Github4Creality_Ender_3_ESP32_Board47felixstorm
denismerigoux/rox-star on Github5rox-star39denismerigoux
gem-pasteur/Integron_Finder on Github6Integron_Finder37gem-pasteur
hltdi/HornMorpho on Github7HornMorpho21hltdi
s-falke/kittel-koat on Github8kittel-koat18s-falke
project-everest/QUIC-FStar on Github9QUIC-FStar17project-everest
msr-quarc/ReVerC on Github10ReVerC17msr-quarc
59Topics

Most popular