Discover awesome Dafny
open-source projects

8
5
11
AppSignal knows why the f*#k it crashed.
Stop vibe-debugging. Every exception, every backtrace, grouped so you see patterns, not noise.
www.appsignal.com
sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
sponsored
# Project Mentions Stars
We couldn't find any projects for the selected period

Popular Dafny Topics

dafny Verification mcp meta-theory monte-carlo-tree-search proofsketcher binders LLM coq talk

Trending Dafny projects

Trending »
Consensys-Incorporated logo evm-dafny ↗︎ 0.7%

Latest discoveries

namin logo dafny-sandbox ★ 29
colimit-ai logo turning-dafny-sets-into-sequences-talk ★ 2
namin logo dafny-sketcher ★ 18
hath995 logo dafny-aoc-2023 ★ 0
Consensys-Incorporated logo evm-dafny ★ 140
yeejian-tan logo dafny-rope ★ 1
mit-pdos logo daisy-nfsd ★ 44
Consensys logo eth2.0-dafny ★ 80

Latest mentions

namin logo dafny-sandbox 8 mo · news.ycombinator.com
colimit-ai logo turning-dafny-sets-into-sequences-talk 9 mo · news.ycombinator.com
namin logo dafny-sketcher 10 mo · news.ycombinator.com
hath995 logo dafny-aoc-2023 3 y · /r/adventofcode
Consensys-Incorporated logo evm-dafny 3 y · news.ycombinator.com
yeejian-tan logo dafny-rope 3 y · news.ycombinator.com
Consensys logo eth2.0-dafny 4 y · news.ycombinator.com
mit-pdos logo daisy-nfsd 5 y · news.ycombinator.com

Recently updated posts

View more »
A Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs
news.ycombinator.com · 2026-02-05
Turning Dafny Sets into Sequences [video]
news.ycombinator.com · 2025-12-30
Rope in Dafny
news.ycombinator.com · 2023-04-24
DaisyNFS is a formally verified NFS server
news.ycombinator.com · 2022-03-28
Formal Verification of the Ethereum 2.0 Beacon Chain
news.ycombinator.com · 2021-10-27

Newsletter

Many thanks to our great sponsors

AppSignal knows why the f*#k it crashed.
Stop vibe-debugging. Every exception, every backtrace, grouped so you see patterns, not noise.
www.appsignal.com
sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
sponsored
Loading...