https://github.com/dafny-lang/rfcs
Dafny request-for-feature discussions
Science Score: 13.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
○CITATION.cff file
-
✓codemeta.json file
Found codemeta.json file -
○.zenodo.json file
-
○DOI references
-
○Academic publication links
-
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (0.4%) to scientific vocabulary
Last synced: 10 months ago
·
JSON representation
Repository
Dafny request-for-feature discussions
Basic Info
- Host: GitHub
- Owner: dafny-lang
- License: mit
- Default Branch: master
- Size: 3.91 KB
Statistics
- Stars: 1
- Watchers: 6
- Forks: 6
- Open Issues: 8
- Releases: 0
Created almost 7 years ago
· Last pushed over 2 years ago
Metadata Files
Readme
License
README.md
rfcs
Dafny request-for-feature discussions
Owner
- Name: Dafny
- Login: dafny-lang
- Kind: organization
- Repositories: 13
- Profile: https://github.com/dafny-lang
Dafny is a verification-aware programming language
GitHub Events
Total
- Pull request review comment event: 1
- Pull request review event: 1
Last Year
- Pull request review comment event: 1
- Pull request review event: 1
Issues and Pull Requests
Last synced: about 1 year ago
All Time
- Total issues: 3
- Total pull requests: 11
- Average time to close issues: over 1 year
- Average time to close pull requests: 3 months
- Total issue authors: 2
- Total pull request authors: 5
- Average comments per issue: 0.33
- Average comments per pull request: 3.91
- Merged pull requests: 1
- Bot issues: 0
- Bot pull requests: 0
Past Year
- Issues: 0
- Pull requests: 0
- Average time to close issues: N/A
- Average time to close pull requests: N/A
- Issue authors: 0
- Pull request authors: 0
- Average comments per issue: 0
- Average comments per pull request: 0
- Merged pull requests: 0
- Bot issues: 0
- Bot pull requests: 0
Top Authors
Issue Authors
- robin-aws (2)
- indolering (1)
Pull Request Authors
- robin-aws (5)
- MikaelMayer (3)
- RustanLeino (2)
- keyboardDrummer (1)
- samuelgruetter (1)
Top Labels
Issue Labels
Pull Request Labels
enhancement (1)
breaking-change (1)