# Dépôts F\* [Accueil](https://repo.masters-masters.com/) › [Langages](https://repo.masters-masters.com/languages) › [F\*](https://repo.masters-masters.com/languages/f-star) Les 5 dépôts F\* open source de RepoMasters, du plus étoilé au moins étoilé : étoiles GitHub, rang et carte à collectionner de chacun. ## Dépôts F\* 5 dépôts F\* au catalogue, du plus étoilé au moins étoilé. - [FStarLang/FStar · ★ 3 132 · F\* · RC](https://repo.masters-masters.com/repos/FStarLang/FStar) - [hacl-star/hacl-star · ★ 1 845 · F\* · Bêta](https://repo.masters-masters.com/repos/hacl-star/hacl-star) - [project-everest/everparse · ★ 345 · F\* · Alpha](https://repo.masters-masters.com/repos/project-everest/everparse) - [project-everest/mitls-fstar · ★ 183 · F\* · Prototype](https://repo.masters-masters.com/repos/project-everest/mitls-fstar) - [cryspen/bertie · ★ 138 · F\* · Prototype](https://repo.masters-masters.com/repos/cryspen/bertie) --- Données : GitHub