Top Dafny developers globally
languages / Dafny / global368 developers
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 1 |  | Consensys | 9 | 261 |
| 2 |  | dafny-lang | 5 | 63 |
| 3 |  | lemmy | 2 | 42 |
| 4 |  | secure-foundations | 7 | 40 |
| 5 |  | franck44 | 3 | 35 |
| 6 |  | aws | 1 | 34 |
| 7 |  | vmware-labs | 1 | 32 |
| 8 |  | Mondego | 1 | 31 |
| 9 |  | mit-pdos | 1 | 30 |
| 10 |  | ChuyueSun | 1 | 26 |