# GitHub repos by dafny-lang [Home](https://repo.masters-masters.com/en) › [dafny-lang](https://repo.masters-masters.com/en/owners/dafny-lang) The public GitHub repo by dafny-lang in RepoMasters, the trading card game of open source: stars, language, tier and card. ## GitHub repos by dafny-lang 1 public repo by dafny-lang in the catalog, most starred first. - [dafny-lang/dafny · ★ 3,610 · C\# · RC](https://repo.masters-masters.com/en/repos/dafny-lang/dafny) ## See dafny-lang on GitHub - [https://github.com/dafny-lang](https://github.com/dafny-lang) --- Data: GitHub