Data

Tools

Indexes

Applications

Experiments

Open Source Science

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

The Go version of the Dafny runtime library

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

Science Score: 26.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
    Found .zenodo.json file
  • ○
    DOI references
  • ○
    Academic publication links
  • ○
    Committers with academic emails
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (0.5%) to scientific vocabulary
Last synced: 11 months ago · JSON representation

Repository

The Go version of the Dafny runtime library

Basic Info
  • Host: GitHub
  • Owner: dafny-lang
  • License: mit
  • Language: Go
  • Default Branch: main
  • Size: 42 KB
Statistics
  • Stars: 1
  • Watchers: 9
  • Forks: 0
  • Open Issues: 0
  • Releases: 0
Created about 2 years ago · Last pushed about 1 year ago
Metadata Files
Readme License

README.md

DafnyRuntimeGo

The Go version of the Dafny runtime library

Owner

  • Name: Dafny
  • Login: dafny-lang
  • Kind: organization

Dafny is a verification-aware programming language

GitHub Events

Total
  • Issues event: 2
  • Issue comment event: 2
  • Push event: 5
  • Create event: 6
Last Year
  • Issues event: 2
  • Issue comment event: 2
  • Push event: 5
  • Create event: 6

Committers

Last synced: about 1 year ago

All Time
  • Total Commits: 10
  • Total Committers: 4
  • Avg Commits per committer: 2.5
  • Development Distribution Score (DDS): 0.5
Past Year
  • Commits: 5
  • Committers: 3
  • Avg Commits per committer: 1.667
  • Development Distribution Score (DDS): 0.6
Top Committers
Name Email Commits
Aaron Tomb a****b@a****m 5
Robin Salkeld s****r@a****m 2
Mikael Mayer m****e@a****m 2
Siva Somayyajula s****s@a****m 1
Committer Domains (Top 20 + Academic)
amazon.com: 4

Issues and Pull Requests

Last synced: about 1 year ago

All Time
  • Total issues: 2
  • Total pull requests: 0
  • Average time to close issues: about 2 months
  • Average time to close pull requests: N/A
  • Total issue authors: 1
  • Total pull request authors: 0
  • Average comments per issue: 1.0
  • Average comments per pull request: 0
  • Merged pull requests: 0
  • Bot issues: 0
  • Bot pull requests: 0
Past Year
  • Issues: 2
  • Pull requests: 0
  • Average time to close issues: about 2 months
  • Average time to close pull requests: N/A
  • Issue authors: 1
  • Pull request authors: 0
  • Average comments per issue: 1.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
  • ShubhamChaturvedi7 (2)
Pull Request Authors
Top Labels
Issue Labels
Pull Request Labels