Bibliothèques écrites en Dafny

evm-dafny

Un interprète EVM à Dafny.
  • 89
  • Apache License 2.0

eth2.0-dafny

Spécification Eth2.0 dans Dafny.
  • 55
  • Apache License 2.0

daisy-nfsd

DaisyNFS est un serveur NFS vérifié à l'aide de Dafny et Perennial.
  • 21
  • MIT