Data

Tools

Indexes

Applications

Experiments

Open Source Science

https://github.com/dafny-lang/rfcs

Dafny request-for-feature discussions

https://github.com/dafny-lang/rfcs

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

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
View more stats
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)