مكتبات مكتوبة بلغة Dafny

evm-dafny

مترجم فوري في دافني.
  • 89
  • Apache License 2.0

eth2.0-dafny

مواصفات Eth2.0 في Dafny.
  • 55
  • Apache License 2.0

daisy-nfsd

DaisyNFS هو خادم NFS تم التحقق منه باستخدام Dafny و Perennial..
  • 21
  • MIT