Dafny ben írt könyvtárak

evm-dafny

Egy EVM tolmács Dafnyban.
  • 89
  • Apache License 2.0

eth2.0-dafny

Eth2.0 specifikáció a Dafnyban.
  • 55
  • Apache License 2.0

daisy-nfsd

A DaisyNFS egy Dafny és Perennial segítségével ellenőrzött NFS-kiszolgáló.
  • 21
  • MIT