F*

languages / F*
208Developers

Top ranked

RankDeveloperReposStars
1gravatar for FStarLangFStarLang12,373
2gravatar for hacl-starhacl-star21,463
3gravatar for project-everestproject-everest4380
4gravatar for felixstormfelixstorm148
5gravatar for denismerigouxdenismerigoux139
6gravatar for gem-pasteurgem-pasteur139
7gravatar for hltdihltdi426
8gravatar for s-falkes-falke120
9gravatar for msr-quarcmsr-quarc117
10gravatar for IEAWindTask37IEAWindTask37214
247Repos

Top ranked

RankRepoStarsDeveloper
FStarLang/FStar on Github1FStar2,373FStarLang
hacl-star/hacl-star on Github2hacl-star1,461hacl-star
project-everest/everparse on Github3everparse188project-everest
project-everest/mitls-fstar on Github4mitls-fstar167project-everest
felixstorm/Creality_Ender_3_ESP32_Board on Github5Creality_Ender_3_ESP32_Board48felixstorm
gem-pasteur/Integron_Finder on Github6Integron_Finder39gem-pasteur
denismerigoux/rox-star on Github7rox-star39denismerigoux
hltdi/HornMorpho on Github8HornMorpho24hltdi
s-falke/kittel-koat on Github9kittel-koat20s-falke
project-everest/QUIC-FStar on Github10QUIC-FStar17project-everest
59Topics

Most popular