Top Dafny repos
languages / Dafny / global322 repos
| Rank | Repo | Stars | Developer | |
|---|---|---|---|---|
 | 1 | evm-dafny | 113 | Consensys |
| 2 | eth2.0-dafny | 67 | Consensys |
| 3 | lets-prove-blocking-queue | 42 | lemmy |
| 4 | libraries | 41 | dafny-lang |
| 5 | verified-betrfs | 30 | vmware-labs |
| 6 | aws-encryption-sdk-dafny | 28 | aws |
| 7 | daisy-nfsd | 27 | mit-pdos |
| 8 | dafny-synthesis | 20 | Mondego |
| 9 | deposit-sc-dafny | 20 | Consensys |
| 10 | veri-titan | 20 | secure-foundations |