F*

languages / F*
245Developers

Top ranked

RankDeveloperReposStars
1gravatar for FStarLangFStarLang22,485
2gravatar for hacl-starhacl-star21,500
3gravatar for project-everestproject-everest4417
4gravatar for felixstormfelixstorm152
5gravatar for gem-pasteurgem-pasteur148
6gravatar for denismerigouxdenismerigoux138
7gravatar for hltdihltdi436
8gravatar for s-falkes-falke120
9gravatar for msr-quarcmsr-quarc117
10gravatar for wenkokkewenkokke114
295Repos

Top ranked

RankRepoStarsDeveloper
FStarLang/FStar on Github1FStar2,467FStarLang
hacl-star/hacl-star on Github2hacl-star1,495hacl-star
project-everest/everparse on Github3everparse222project-everest
project-everest/mitls-fstar on Github4mitls-fstar169project-everest
felixstorm/Creality_Ender_3_ESP32_Board on Github5Creality_Ender_3_ESP32_Board52felixstorm
gem-pasteur/Integron_Finder on Github6Integron_Finder48gem-pasteur
denismerigoux/rox-star on Github7rox-star38denismerigoux
hltdi/HornMorpho on Github8HornMorpho33hltdi
s-falke/kittel-koat on Github9kittel-koat20s-falke
FStarLang/steel on Github10steel18FStarLang
0Topics

Most popular

TopicReposStars