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

evm-dafny

Интерпретатор EVM в Дафни.
  • 89
  • Apache License 2.0

eth2.0-dafny

Спецификация Eth2.0 в Dafny.
  • 55
  • Apache License 2.0

daisy-nfsd

DaisyNFS — это NFS-сервер, проверенный с помощью Dafny и Perennial.
  • 21
  • MIT