Dafny ile yazılmış kütüphaneler

evm-dafny

Dafny'de bir EVM tercümanı.
  • 89
  • Apache License 2.0

eth2.0-dafny

Dafny'de Eth2.0 özelliği.
  • 55
  • Apache License 2.0

daisy-nfsd

DaisyNFS, Dafny ve Perennial kullanılarak doğrulanmış bir NFS sunucusudur.
  • 21
  • MIT