Các thư viện được viết bằng Dafny

evm-dafny

Một thông dịch viên EVM ở Dafny.
  • 89
  • Apache License 2.0

eth2.0-dafny

Thông số kỹ thuật ETH2.0 trong Dafny.
  • 55
  • Apache License 2.0

daisy-nfsd

DaisyNFS là máy chủ NFS được xác minh bằng Dafny và Perennial..
  • 21
  • MIT