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 |