dafny-lang/dafny

dafny

✅ Recently maintained

Dafny is a verification-aware programming language

3,610Stars
334Forks
+137-day stars

C# · License unverified · Last push 2026-11-02

Official repository & installation ↗
programming-languageverification

GitValue · Value evidence

Unscored · Evidence coverage 0%

Provisional rubric; documentation and runtime testing are separate. Missing evidence does not imply low value.

Star history

2025-09-292026-11-03
View historical data
DateStars
2026-10-053,571
2026-10-063,571
2026-10-073,575
2026-10-083,576
2026-10-093,577
2026-10-103,577
2026-10-113,578
2026-10-123,579
2026-10-133,582
2026-10-143,583
2026-10-153,585
2026-10-163,585
2026-10-173,585
2026-10-183,585
2026-10-193,586
2026-10-203,586
2026-10-213,588
2026-10-223,589
2026-10-233,590
2026-10-243,591
2026-10-253,594
2026-10-263,595
2026-10-273,600
2026-10-283,601
2026-10-293,603
2026-10-303,605
2026-10-313,608
2026-11-013,608
2026-11-023,609
2026-11-033,610

Get the project

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

Cloning downloads the source. For dependencies and installation, follow the project README.

Related projects & alternative candidates

Related domains do not imply feature parity. Review official documentation and licenses.