dafny-lang / dafny

git clone https://github.com/dafny-lang/dafny.git

Dafny is a verification-aware programming language

stars, 24h · #21,994

+~7

stars, 7 days · #16,625

+~30

stars, 30 days · #20,283

3.6k

★ total · +0% this week

333

forks · 1.4k open issues

2026-10-20 · 3,587 ★ 2026-10-23 · 3,590 ★

LanguageC#

License—

Created2016-04-16 (10y ago)

Last push2d ago

OwnerOrganization