Dafny

languages / Dafny
131Developers

Top ranked

147Repos

Top ranked

RankRepoStarsDeveloper
ConsenSys/eth2.0-dafny on Github1eth2.0-dafny52ConsenSys
ConsenSys/deposit-sc-dafny on Github2deposit-sc-dafny14ConsenSys
mit-pdos/daisy-nfsd on Github3daisy-nfsd13mit-pdos
secure-foundations/veri-titan on Github4veri-titan9secure-foundations
wilcoxjay/notes on Github5notes9wilcoxjay
secure-foundations/veribetrkv-osdi2020 on Github6veribetrkv-osdi20204secure-foundations
ConsenSys/qbft-formal-spec-and-verification on Github7qbft-formal-spec-and-verification3ConsenSys
ConsenSys/dafny-training on Github8dafny-training3ConsenSys
StephRMcIntyre/cs245-verification on Github9cs245-verification3StephRMcIntyre
boogie-org/BoogieV on Github10BoogieV2boogie-org
19Topics

Most popular