Dafny
languages / Dafny197Developers
Top ranked
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 1 |  | Consensys | 9 | 197 |
| 2 |  | dafny-lang | 5 | 45 |
| 3 |  | lemmy | 2 | 39 |
| 4 |  | secure-foundations | 7 | 27 |
| 5 |  | vmware-labs | 1 | 26 |
| 6 |  | mit-pdos | 1 | 23 |
| 7 |  | namin | 1 | 16 |
| 8 |  | wilcoxjay | 1 | 9 |
| 9 |  | tchajed | 3 | 6 |
| 10 |  | dijkstracula | 1 | 4 |
238Repos
Top ranked
| Rank | Repo | Stars | Developer | |
|---|---|---|---|---|
 | 1 | evm-dafny | 91 | Consensys |
| 2 | eth2.0-dafny | 60 | Consensys |
| 3 | lets-prove-blocking-queue | 39 | lemmy |
| 4 | libraries | 38 | dafny-lang |
| 5 | verified-betrfs | 26 | vmware-labs |
| 6 | daisy-nfsd | 23 | mit-pdos |
| 7 | deposit-sc-dafny | 18 | Consensys |
| 8 | veri-titan | 16 | secure-foundations |
| 9 | dafny-sandbox | 16 | namin |
| 10 | distributed-validator-formal-specs-and-verification | 11 | Consensys |