# Dépôts de FStarLang [Accueil](https://repo.masters-masters.com/) › [FStarLang](https://repo.masters-masters.com/owners/FStarLang) Les 2 dépôts GitHub publics de FStarLang, du plus étoilé au moins étoilé : étoiles, langage et rang de chaque carte RepoMasters. ## Dépôts de FStarLang 2 dépôts publics de FStarLang au catalogue, du plus étoilé au moins étoilé. - [FStarLang/FStar · ★ 3 132 · F\* · RC](https://repo.masters-masters.com/repos/FStarLang/FStar) - [FStarLang/karamel · ★ 524 · OCaml · Alpha](https://repo.masters-masters.com/repos/FStarLang/karamel) ## Voir FStarLang sur GitHub - [https://github.com/FStarLang](https://github.com/FStarLang) --- Données : GitHub