Dafny
languages / Dafny146Developers
Top ranked
Rank | Developer | Repos | Stars | |
---|---|---|---|---|
1 | ![]() | ConsenSys | 7 | 128 |
2 | ![]() | secure-foundations | 6 | 19 |
3 | ![]() | mit-pdos | 1 | 16 |
4 | ![]() | namin | 1 | 15 |
5 | ![]() | wilcoxjay | 1 | 9 |
6 | ![]() | dijkstracula | 1 | 4 |
7 | ![]() | StephRMcIntyre | 1 | 3 |
8 | ![]() | GLaDOS-Michigan | 3 | 3 |
9 | ![]() | boogie-org | 1 | 3 |
10 | ![]() | monadius | 1 | 2 |
168Repos
Top ranked
Rank | Repo | Stars | Developer | |
---|---|---|---|---|
![]() | 1 | eth2.0-dafny | 53 | ConsenSys |
![]() | 2 | evm-dafny | 43 | ConsenSys |
![]() | 3 | deposit-sc-dafny | 17 | ConsenSys |
![]() | 4 | daisy-nfsd | 16 | mit-pdos |
![]() | 5 | dafny-sandbox | 15 | namin |
![]() | 6 | veri-titan | 11 | secure-foundations |
![]() | 7 | notes | 9 | wilcoxjay |
![]() | 8 | veribetrkv-osdi2020 | 6 | secure-foundations |
![]() | 9 | qbft-formal-spec-and-verification | 5 | ConsenSys |
![]() | 10 | smrt | 4 | dijkstracula |