Bibliotecas escritas em Dafny

evm-dafny

Um intérprete EVM em Dafny.
  • 89
  • Apache License 2.0

eth2.0-dafny

Especificação Eth2.0 em Dafny.
  • 55
  • Apache License 2.0

daisy-nfsd

DaisyNFS é um servidor NFS verificado usando Dafny e Perennial..
  • 21
  • MIT