# F\* GitHub repos [Home](https://repo.masters-masters.com/en) › [Languages](https://repo.masters-masters.com/en/languages) › [F\*](https://repo.masters-masters.com/en/languages/f-star) All 5 F\* GitHub repos in RepoMasters, the trading card game of open source, most starred first: stars, tier and card for each. ## F\* GitHub repos 5 F\* repos in the catalog, most starred first. - [FStarLang/FStar · ★ 3,132 · F\* · RC](https://repo.masters-masters.com/en/repos/FStarLang/FStar) - [hacl-star/hacl-star · ★ 1,845 · F\* · Beta](https://repo.masters-masters.com/en/repos/hacl-star/hacl-star) - [project-everest/everparse · ★ 345 · F\* · Alpha](https://repo.masters-masters.com/en/repos/project-everest/everparse) - [project-everest/mitls-fstar · ★ 183 · F\* · Prototype](https://repo.masters-masters.com/en/repos/project-everest/mitls-fstar) - [cryspen/bertie · ★ 138 · F\* · Prototype](https://repo.masters-masters.com/en/repos/cryspen/bertie) --- Data: GitHub