Science Score: 23.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 links in README
-
✓Committers with academic emails
2 of 2 committers (100.0%) from academic institutions -
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (0.2%) to scientific vocabulary
Last synced: 11 months ago
·
JSON representation
Repository
System F in Coq
Basic Info
- Host: GitHub
- Owner: Chobbes
- Language: Coq
- Default Branch: master
- Size: 77.1 KB
Statistics
- Stars: 2
- Watchers: 2
- Forks: 0
- Open Issues: 2
- Releases: 0
Created over 5 years ago
· Last pushed about 2 years ago
Owner
- Name: Calvin Beck
- Login: Chobbes
- Kind: user
- Location: Philadelphia
- Repositories: 143
- Profile: https://github.com/Chobbes
GitHub Events
Total
Last Year
Committers
Last synced: about 1 year ago
Top Committers
| Name | Commits | |
|---|---|---|
| Calvin Beck | h****s@u****a | 55 |
| Stephen Mell | s****1@c****u | 10 |
Committer Domains (Top 20 + Academic)
cis.upenn.edu: 1
ualberta.ca: 1
Issues and Pull Requests
Last synced: about 1 year ago
All Time
- Total issues: 3
- Total pull requests: 0
- Average time to close issues: about 12 hours
- Average time to close pull requests: N/A
- Total issue authors: 1
- Total pull request authors: 0
- Average comments per issue: 0.67
- Average comments per pull request: 0
- Merged pull requests: 0
- 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
- Chobbes (3)