Top Dafny repos

languages / Dafny / global

244 repos

«12...25»
RankRepoStarsDeveloper
Consensys/evm-dafny on Github1evm-dafny106Consensys
Consensys/eth2.0-dafny on Github2eth2.0-dafny64Consensys
lemmy/lets-prove-blocking-queue on Github3lets-prove-blocking-queue40lemmy
mit-pdos/daisy-nfsd on Github4daisy-nfsd24mit-pdos
Consensys/deposit-sc-dafny on Github5deposit-sc-dafny19Consensys
secure-foundations/veri-titan on Github6veri-titan19secure-foundations
namin/dafny-sandbox on Github7dafny-sandbox17namin
Consensys/distributed-validator-formal-specs-and-verification on Github8distributed-validator-formal-specs-and-verification12Consensys
wilcoxjay/notes on Github9notes12wilcoxjay
secure-foundations/veribetrkv-osdi2020 on Github10veribetrkv-osdi20208secure-foundations