RCEpic
dafny-lang/dafny
Dafny is a verification-aware programming language
- Owner
- dafny-lang (organization)
- Stars
- Stars: 3,610
- Forks
- Forks: 334
- Language
- C#
- License
- None
- Created
- 2016
- Topics
- programming-languageverification
- Tier
- RC (2,000 to 4,999 ★) What this tier means
Nearby in C#
All C# repos- RevenantX/LiteNetLibStars: 3,639C#RC
- PLFJY/ContextMenuMgrStars: 3,639C#RC
- Arcenox-co/TickerQStars: 3,637C#RC
- keijiro/SkinnerStars: 3,590C#RC
- Topshelf/TopshelfStars: 3,586C#RC
- evolutionary-architecture/evolutionary-architecture-by-exampleStars: 3,573C#RC