# Dépôts de dafny-lang [Accueil](https://repo.masters-masters.com/) › [dafny-lang](https://repo.masters-masters.com/owners/dafny-lang) Le dépôt GitHub public de dafny-lang en carte à collectionner : étoiles, langage et rang dans RepoMasters, le jeu de cartes de l’open source. ## Dépôts de dafny-lang 1 dépôt public de dafny-lang au catalogue pour l’instant. - [dafny-lang/dafny · ★ 3 610 · C\# · RC](https://repo.masters-masters.com/repos/dafny-lang/dafny) ## Voir dafny-lang sur GitHub - [https://github.com/dafny-lang](https://github.com/dafny-lang) --- Données : GitHub