In Dafny geschriebene Bibliotheken

evm-dafny

Ein EVM-Dolmetscher in Dafny.
  • 89
  • Apache License 2.0

eth2.0-dafny

Eth2.0-Spezifikation in Dafny.
  • 55
  • Apache License 2.0

daisy-nfsd

DaisyNFS ist ein NFS-Server, der mit Dafny und Perennial verifiziert wurde.
  • 21
  • MIT