Bibliotecas escritas en Dafny

evm-dafny

Un intérprete de EVM en Dafny.
  • 89
  • Apache License 2.0

eth2.0-dafny

Especificaciones Eth2.0 en Dafny.
  • 55
  • Apache License 2.0

daisy-nfsd

DaisyNFS es un servidor NFS verificado con Dafny y Perennial.
  • 21
  • MIT