Dafny
languages / Dafny131Developers
Top ranked
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 1 |  | ConsenSys | 5 | 72 |
| 2 |  | secure-foundations | 5 | 13 |
| 3 |  | mit-pdos | 1 | 13 |
| 4 |  | wilcoxjay | 1 | 9 |
| 5 |  | StephRMcIntyre | 1 | 3 |
| 6 |  | monadius | 1 | 2 |
| 7 |  | vladstejeroiu | 1 | 2 |
| 8 |  | priyasiddharth | 1 | 2 |
| 9 |  | boogie-org | 1 | 2 |
| 10 |  | byu-dafny | 1 | 1 |
147Repos
Top ranked
| Rank | Repo | Stars | Developer | |
|---|---|---|---|---|
 | 1 | eth2.0-dafny | 52 | ConsenSys |
| 2 | deposit-sc-dafny | 14 | ConsenSys |
| 3 | daisy-nfsd | 13 | mit-pdos |
| 4 | veri-titan | 9 | secure-foundations |
| 5 | notes | 9 | wilcoxjay |
| 6 | veribetrkv-osdi2020 | 4 | secure-foundations |
| 7 | qbft-formal-spec-and-verification | 3 | ConsenSys |
| 8 | dafny-training | 3 | ConsenSys |
| 9 | cs245-verification | 3 | StephRMcIntyre |
| 10 | BoogieV | 2 | boogie-org |