Perpustakaan yang ditulis dalam Dafny

evm-dafny

Penerjemah EVM di Dafny.
  • 89
  • Apache License 2.0

eth2.0-dafny

Spesifikasi Eth2.0 di Dafny.
  • 55
  • Apache License 2.0

daisy-nfsd

DaisyNFS adalah server NFS yang diverifikasi menggunakan Dafny dan Perennial..
  • 21
  • MIT