# dafny-lang/dafny

<https://repo.masters-masters.com/en/repos/dafny-lang/dafny>

[Home](https://repo.masters-masters.com/en) › [dafny-lang](https://repo.masters-masters.com/en/owners/dafny-lang) › [dafny](https://repo.masters-masters.com/en/repos/dafny-lang/dafny)

dafny-lang/dafny has 3,610 stars on GitHub. Its RepoMasters card: RC tier. Dafny is a verification-aware programming language Language: C\#.

| Field | Value |
| --- | --- |
| Owner | [dafny-lang](https://repo.masters-masters.com/en/owners/dafny-lang) |
| Stars | 3,610 |
| Forks | 334 |
| Language | [C\#](https://repo.masters-masters.com/en/languages/c-sharp) |
| License | None |
| Created | 2016 |
| Topics | programming-language, verification |
| Tier | [RC (2,000 to 4,999 ★)](https://repo.masters-masters.com/en/ranks/blockbuster) |
| View on GitHub | [dafny-lang/dafny](https://github.com/dafny-lang/dafny) |

## Repository

Dafny is a verification-aware programming language

The tier for repos with 2,000 to 4,999 ★. Published odds per card pulled: 3%. Rarity: Epic.

## Nearby in C\#

- [PLFJY/ContextMenuMgr · ★ 3,643 · C\# · RC](https://repo.masters-masters.com/en/repos/PLFJY/ContextMenuMgr)
- [RevenantX/LiteNetLib · ★ 3,639 · C\# · RC](https://repo.masters-masters.com/en/repos/RevenantX/LiteNetLib)
- [Arcenox-co/TickerQ · ★ 3,635 · C\# · RC](https://repo.masters-masters.com/en/repos/Arcenox-co/TickerQ)
- [keijiro/Skinner · ★ 3,590 · C\# · RC](https://repo.masters-masters.com/en/repos/keijiro/Skinner)
- [Topshelf/Topshelf · ★ 3,586 · C\# · RC](https://repo.masters-masters.com/en/repos/Topshelf/Topshelf)
- [evolutionary-architecture/evolutionary-architecture-by-example · ★ 3,572 · C\# · RC](https://repo.masters-masters.com/en/repos/evolutionary-architecture/evolutionary-architecture-by-example)

---
Data: GitHub · Illustration: the project’s public image, pixelated by RepoMasters.