Dafny
Dafny是一种支持验证的编程语言。(Dafny is a verification-aware programming language.)
Main metrics
Overview
Name With Owner | dafny-lang/dafny |
---|---|
Primary Language | C# |
Program language | C# (Language Count: 17) |
Platform | BSD, Linux, Mac, Windows |
License: | Other |
Release Count | 49 |
Last Release Name | nightly (Posted on ) |
First Release Name | v1.9.7 (Posted on ) |
Created At | 2016-04-16 20:05:38 |
Pushed At | 2024-05-11 16:23:24 |
Last Commit At | 2024-05-10 17:19:41 |
Stargazers Count | 2794 |
Watchers Count | 79 |
Fork Count | 250 |
Commits Count | 6490 |
Has Issues Enabled | |
Issues Count | 2537 |
Issue Open Count | 1000 |
Pull Requests Count | 2388 |
Pull Requests Open Count | 129 |
Pull Requests Close Count | 276 |
Has Wiki Enabled | |
Is Archived | |
Is Fork | |
Is Locked | |
Is Mirror | |
Is Private |