Dafny

languages / Dafny
197Developers

Top ranked

238Repos

Top ranked

RankRepoStarsDeveloper
Consensys/evm-dafny on Github1evm-dafny91Consensys
Consensys/eth2.0-dafny on Github2eth2.0-dafny60Consensys
lemmy/lets-prove-blocking-queue on Github3lets-prove-blocking-queue39lemmy
dafny-lang/libraries on Github4libraries38dafny-lang
vmware-labs/verified-betrfs on Github5verified-betrfs26vmware-labs
mit-pdos/daisy-nfsd on Github6daisy-nfsd23mit-pdos
Consensys/deposit-sc-dafny on Github7deposit-sc-dafny18Consensys
secure-foundations/veri-titan on Github8veri-titan16secure-foundations
namin/dafny-sandbox on Github9dafny-sandbox16namin
Consensys/distributed-validator-formal-specs-and-verification on Github10distributed-validator-formal-specs-and-verification11Consensys
0Topics

Most popular

TopicReposStars