# dafny-lang/dafny

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

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

dafny-lang/dafny, dépôt open source à 3 610 étoiles sur GitHub. Carte RC de RepoMasters. Dafny is a verification-aware programming language Langage : C\#.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [dafny-lang](https://repo.masters-masters.com/owners/dafny-lang) |
| Étoiles | 3 610 |
| Forks | 334 |
| Langage | [C\#](https://repo.masters-masters.com/languages/c-sharp) |
| Licence | Aucune |
| Création | 2016 |
| Sujets | programming-language, verification |
| Rang | [RC (2 000 à 4 999 ★)](https://repo.masters-masters.com/ranks/blockbuster) |
| Voir sur GitHub | [dafny-lang/dafny](https://github.com/dafny-lang/dafny) |

## Fiche du dépôt

Dafny is a verification-aware programming language

Rang des dépôts qui ont 2 000 à 4 999 ★ sur GitHub. Probabilité publiée par carte tirée : 3 %. Rareté : Épique.

## D’autres dépôts C\#

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

---
Données : GitHub · Illustration : image publique du projet, pixelisée par RepoMasters.