Dafny
languages / Dafny268Developers
Top ranked
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 1 |  | Consensys | 9 | 234 |
| 2 |  | dafny-lang | 5 | 58 |
| 3 |  | lemmy | 2 | 42 |
| 4 |  | secure-foundations | 7 | 34 |
| 5 |  | vmware-labs | 1 | 30 |
| 6 |  | aws | 1 | 28 |
| 7 |  | mit-pdos | 1 | 27 |
| 8 |  | namin | 1 | 20 |
| 9 |  | Mondego | 1 | 20 |
| 10 |  | ChuyueSun | 1 | 18 |
322Repos
Top ranked
| 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 |