8
5
11
|
Mentions
@
|
Stars | Project | Description | |
|---|---|---|---|---|
| We couldn't find any libraries for the selected period | ||||
Popular Dafny Topics
Latest Mentions
Latest mentioned Dafny repos
| Stars | Project |
|---|---|
| 29 | dafny-sandbox |
| 1 | turning-dafny-sets-into-sequences-talk |
| 17 | dafny-sketcher |
| 0 | dafny-aoc-2023 |
| 138 | evm-dafny |
| 1 | dafny-rope |
| 80 | eth2.0-dafny |
| 43 | daisy-nfsd |
Latest Discoveries
Latest discovered Dafny repos
| Stars | Project |
|---|---|
| 29 | dafny-sandbox |
| 1 | turning-dafny-sets-into-sequences-talk |
| 17 | dafny-sketcher |
| 0 | dafny-aoc-2023 |
| 138 | evm-dafny |
| 1 | dafny-rope |
| 43 | daisy-nfsd |
| 80 | eth2.0-dafny |
Recently updated posts
-
A Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs
-
Turning Dafny Sets into Sequences [video]
-
Rope in Dafny
-
DaisyNFS is a formally verified NFS server
-
Formal Verification of the Ethereum 2.0 Beacon Chain