Top Dafny repos
languages / Dafny / global324 repos
Rank | Repo | Stars | Developer | |
---|---|---|---|---|
1 | evm-dafny | 115 | Consensys | |
2 | eth2.0-dafny | 68 | Consensys | |
3 | lets-prove-blocking-queue | 42 | lemmy | |
4 | libraries | 42 | dafny-lang | |
5 | verified-betrfs | 30 | vmware-labs | |
6 | aws-encryption-sdk-dafny | 29 | aws | |
7 | daisy-nfsd | 27 | mit-pdos | |
8 | dafny-synthesis | 21 | Mondego | |
9 | deposit-sc-dafny | 21 | Consensys | |
10 | dafny-sandbox | 21 | namin |