Top Dafny developers globally
languages / Dafny / global268 developers
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 1 |  | Consensys | 9 | 232 |
| 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 |