Top Dafny repos

languages / Dafny / global

427 repos

«12...43»
RankRepoStarsDeveloper
Consensys/evm-dafny on Github1evm-dafny125Consensys
Consensys/eth2.0-dafny on Github2eth2.0-dafny72Consensys
dafny-lang/libraries on Github3libraries43dafny-lang
lemmy/lets-prove-blocking-queue on Github4lets-prove-blocking-queue42lemmy
aws/aws-encryption-sdk-dafny on Github5aws-encryption-sdk-dafny34aws
vmware-labs/verified-betrfs on Github6verified-betrfs32vmware-labs
franck44/evm-dis on Github7evm-dis31franck44
Mondego/dafny-synthesis on Github8dafny-synthesis31Mondego
mit-pdos/daisy-nfsd on Github9daisy-nfsd30mit-pdos
ChuyueSun/Clover on Github10Clover26ChuyueSun