Top Dafny repos
languages / Dafny / global323 repos
| Rank | Repo | Stars | Developer | |
|---|---|---|---|---|
 | 11 | veri-titan | 20 | secure-foundations |
| 12 | Clover | 18 | ChuyueSun |
| 13 | evm-dis | 15 | franck44 |
| 14 | distributed-validator-formal-specs-and-verification | 12 | Consensys |
| 15 | notes | 12 | wilcoxjay |
| 16 | Dafny-VMC | 10 | dafny-lang |
| 17 | veribetrkv-osdi2020 | 9 | secure-foundations |
| 18 | verification-class | 8 | GLaDOS-Michigan |
| 19 | protocol-verification-fa2023 | 7 | tchajed |
| 20 | dafny-sc-fmics | 7 | Consensys |