coq-operads
Science Score: 44.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
✓CITATION.cff file
Found CITATION.cff file -
✓codemeta.json file
Found codemeta.json file -
✓.zenodo.json file
Found .zenodo.json file -
○DOI references
-
○Academic publication links
-
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (2.9%) to scientific vocabulary
Last synced: 6 months ago
·
JSON representation
·
Repository
Basic Info
- Host: GitHub
- Owner: twosixlabs
- Language: Coq
- Default Branch: main
- Size: 271 KB
Statistics
- Stars: 5
- Watchers: 3
- Forks: 0
- Open Issues: 0
- Releases: 1
Created over 2 years ago
· Last pushed over 2 years ago
Metadata Files
Readme
Citation
README.md
Please see the description of this package here.
Distribution Statement ‘A’ (Approved for Public Release, Distribution Unlimited). This work is supported in part by DARPA. The views, opinions, and/or findings expressed are those of the author(s) and should not be interpreted as representing the official views or policies of the Department of Defense or the U.S. Government.
Owner
- Name: Two Six Technologies
- Login: twosixlabs
- Kind: organization
- Email: info@twosixtech.com
- Location: Arlington, VA
- Website: https://www.twosixtech.com
- Repositories: 77
- Profile: https://github.com/twosixlabs
Two Six Technologies
Citation (CITATION.cff)
# This CITATION.cff file was generated with cffinit.
# Visit https://bit.ly/cffinit to generate yours today!
cff-version: 1.2.0
title: Operads package
message: >-
If you use this software, please cite it using the
metadata from this file.
type: software
authors:
- given-names: Zachary
family-names: Flores
- given-names: Angelo
family-names: Taranto
- given-names: Eric
family-names: Bond
- given-names: Yakir
family-names: Forman
repository-code: 'https://github.com/twosixlabs/coq-operads/'
GitHub Events
Total
Last Year
Issues and Pull Requests
Last synced: over 1 year ago
All Time
- Total issues: 0
- Total pull requests: 0
- Average time to close issues: N/A
- Average time to close pull requests: N/A
- Total issue authors: 0
- Total 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
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