Dafny

languages / Dafny
146Developers

Top ranked

168Repos

Top ranked

RankRepoStarsDeveloper
ConsenSys/eth2.0-dafny on Github1eth2.0-dafny53ConsenSys
ConsenSys/evm-dafny on Github2evm-dafny43ConsenSys
ConsenSys/deposit-sc-dafny on Github3deposit-sc-dafny17ConsenSys
mit-pdos/daisy-nfsd on Github4daisy-nfsd16mit-pdos
namin/dafny-sandbox on Github5dafny-sandbox15namin
secure-foundations/veri-titan on Github6veri-titan11secure-foundations
wilcoxjay/notes on Github7notes9wilcoxjay
secure-foundations/veribetrkv-osdi2020 on Github8veribetrkv-osdi20206secure-foundations
ConsenSys/qbft-formal-spec-and-verification on Github9qbft-formal-spec-and-verification5ConsenSys
dijkstracula/smrt on Github10smrt4dijkstracula
21Topics

Most popular