# Dafny GitHub repos [Home](https://repo.masters-masters.com/en) › [Languages](https://repo.masters-masters.com/en/languages) › [Dafny](https://repo.masters-masters.com/en/languages/dafny) All 2 Dafny GitHub repos in RepoMasters, the trading card game of open source, most starred first: stars, tier and card for each. ## Dafny GitHub repos 2 Dafny repos in the catalog, most starred first. - [microsoft/Ironclad · ★ 272 · Dafny · Alpha](https://repo.masters-masters.com/en/repos/microsoft/Ironclad) - [Consensys-Incorporated/evm-dafny · ★ 141 · Dafny · Prototype](https://repo.masters-masters.com/en/repos/Consensys-Incorporated/evm-dafny) --- Data: GitHub