Nā hale waihona puke i kākau ʻia ma Dafny

evm-dafny

He mea unuhi EVM ma Dafny.
  • 89
  • Apache License 2.0

eth2.0-dafny

Eth2.0 spec ma Dafny.
  • 55
  • Apache License 2.0

daisy-nfsd

ʻO DaisyNFS kahi kikowaena NFS i hōʻoia ʻia me ka hoʻohana ʻana iā Dafny a me Perennial.
  • 21
  • MIT