# Dépôts Dafny [Accueil](https://repo.masters-masters.com/) › [Langages](https://repo.masters-masters.com/languages) › [Dafny](https://repo.masters-masters.com/languages/dafny) Les 2 dépôts Dafny open source de RepoMasters, du plus étoilé au moins étoilé : étoiles GitHub, rang et carte à collectionner de chacun. ## Dépôts Dafny 2 dépôts Dafny au catalogue, du plus étoilé au moins étoilé. - [microsoft/Ironclad · ★ 272 · Dafny · Alpha](https://repo.masters-masters.com/repos/microsoft/Ironclad) - [Consensys-Incorporated/evm-dafny · ★ 141 · Dafny · Prototype](https://repo.masters-masters.com/repos/Consensys-Incorporated/evm-dafny) --- Données : GitHub