Knjižnice, napisane v Dafny u

evm-dafny

Tolmač EVM v Dafnyju.
  • 89
  • Apache License 2.0

eth2.0-dafny

Specifikacija Eth2.0 v Dafnyju.
  • 55
  • Apache License 2.0

daisy-nfsd

DaisyNFS je strežnik NFS, preverjen z uporabo Dafny in Perennial..
  • 21
  • MIT