Библиотеки, написани на Dafny

evm-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