Dafny 로 작성된 라이브러리

evm-dafny

Dafny의 EVM 인터프리터.
  • 89
  • Apache License 2.0

eth2.0-dafny

Dafny의 Eth2.0 사양.
  • 55
  • Apache License 2.0

daisy-nfsd

DaisyNFS는 Dafny와 Perennial을 사용하여 검증된 NFS 서버입니다.
  • 21
  • MIT