6
3
9
Mentions
@
|
Stars | Project | Description |
---|---|---|---|
1 | 118 | An EVM interpreter in Dafny | |
3 | 68 | Eth2.0 spec in Dafny | |
1 | 29 | AWS Encryption SDK for Dafny | |
1 | 27 | DaisyNFS is an NFS server verified using Dafny and Perennial. | |
1 | 1 | Rope in Dafny. | |
2 | 0 |
Popular Dafny Topics
Latest Mentions
Latest mentioned Dafny repos
Stars | Project |
---|---|
0 | dafny-aoc-2023 |
118 | evm-dafny |
1 | dafny-rope |
68 | eth2.0-dafny |
29 | aws-encryption-sdk-dafny |
27 | daisy-nfsd |
Latest Discoveries
Latest discovered Dafny repos
Stars | Project |
---|---|
0 | dafny-aoc-2023 |
118 | evm-dafny |
1 | dafny-rope |
29 | aws-encryption-sdk-dafny |
27 | daisy-nfsd |
68 | eth2.0-dafny |
Recently updated posts
-
Rope in Dafny
-
DaisyNFS is a formally verified NFS server
-
Formal Verification of the Ethereum 2.0 Beacon Chain