Biblioteki napisane w Dafny

evm-dafny

Tłumacz EVM w Dafny.
  • 89
  • Apache License 2.0

eth2.0-dafny

Specyfikacja Eth2.0 w Dafny.
  • 55
  • Apache License 2.0

daisy-nfsd

DaisyNFS to serwer NFS zweryfikowany przy użyciu Dafny i Perennial.
  • 21
  • MIT