RCÉpique
dafny-lang/dafny
Dafny is a verification-aware programming language
- Propriétaire
- dafny-lang (organisation)
- Étoiles
- Étoiles : 3 608
- Forks
- Forks : 334
- Langage
- C#
- Licence
- Aucune
- Création
- 2016
- Sujets
- programming-languageverification
- Rang
- RC (2 000 à 4 999 ★) Ce que veut dire ce rang
D’autres dépôts C#
Tous les dépôts C#- RevenantX/LiteNetLibÉtoiles : 3 637C#RC
- Arcenox-co/TickerQÉtoiles : 3 635C#RC
- PLFJY/ContextMenuMgrÉtoiles : 3 635C#RC
- keijiro/SkinnerÉtoiles : 3 590C#RC
- Topshelf/TopshelfÉtoiles : 3 586C#RC
- skoruba/IdentityServer4.AdminÉtoiles : 3 571C#RC