Top Dafny repos

languages / Dafny / global

324 repos

«12...33»
RankRepoStarsDeveloper
Consensys/evm-dafny on Github1evm-dafny115Consensys
Consensys/eth2.0-dafny on Github2eth2.0-dafny68Consensys
lemmy/lets-prove-blocking-queue on Github3lets-prove-blocking-queue42lemmy
dafny-lang/libraries on Github4libraries42dafny-lang
vmware-labs/verified-betrfs on Github5verified-betrfs30vmware-labs
aws/aws-encryption-sdk-dafny on Github6aws-encryption-sdk-dafny29aws
mit-pdos/daisy-nfsd on Github7daisy-nfsd27mit-pdos
Mondego/dafny-synthesis on Github8dafny-synthesis21Mondego
Consensys/deposit-sc-dafny on Github9deposit-sc-dafny21Consensys
namin/dafny-sandbox on Github10dafny-sandbox21namin