Science Score: 67.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
Found 2 DOI reference(s) in README -
✓Academic publication links
Links to: zenodo.org -
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (1.1%) to scientific vocabulary
Last synced: 6 months ago
·
JSON representation
·
Repository
Collaborative work on reversible computing
Basic Info
- Host: GitHub
- Owner: JacquesCarette
- License: bsd-2-clause
- Language: TeX
- Default Branch: master
- Size: 47.3 MB
Statistics
- Stars: 25
- Watchers: 9
- Forks: 2
- Open Issues: 1
- Releases: 2
Created about 12 years ago
· Last pushed over 4 years ago
Metadata Files
Readme
License
Citation
Roadmap
README.md
===========================================================
pi-dual
Collaborative work on reversible computing and its relationship to Homotopy Type Theory.
Owner
- Name: Jacques Carette
- Login: JacquesCarette
- Kind: user
- Location: Hamilton, Ontario, Canada
- Company: McMaster University
- Website: http://www.cas.mcmaster.ca/~carette
- Repositories: 15
- Profile: https://github.com/JacquesCarette
Citation (CITATION.cff)
cff-version: 1.2.0
title: "pi-dual"
abstract: "Collaborative work on reversible computing and its relationship to Homotopy Type Theory."
type: software
message: "If you use this software, please cite it using these metadata."
contact:
- family-names: Carette
given-names: Jacques
orcid: "https://orcid.org/0000-0001-8993-9804"
website: "https://www.cas.mcmaster.ca/~carette/"
affiliation: "McMaster University, Computing and Software Department"
email: "carette@mcmaster.ca"
- family-names: Sabry
given-names: Amr
orcid: "https://orcid.org/0000-0002-1025-7331"
website: "https://amr-sabry.luddy.indiana.edu/"
affiliation: "Indiana University, Department of Computer Science - Luddy School of Informatics, Computing, and Engineering"
email: "sabry@indiana.edu"
- family-names: Choudhury
given-names: Vikraman
orcid: "https://orcid.org/0000-0003-2030-8056"
website: "https://vikraman.org"
affiliation: "Indiana University, Department of Computer Science - Luddy School of Informatics, Computing, and Engineering"
email: "vikraman@indiana.edu"
- family-names: Chen
given-names: Chao-Hong
orcid: "https://orcid.org/0000-0002-9314-8105"
website: "https://dreamlinuxer.github.io/"
affiliation: "Facebook, Inc."
email: "chaohong@fb.com"
keywords:
- agda
- "reversible computation"
- "homotopy type theory"
- research
identifiers:
- description: "All archived snapshots of pi-dual."
type: doi
value: 10.5281/zenodo.5620828
license: "BSD-2-Clause"
repository: "https://github.com/JacquesCarette/pi-dual"
version: "v0.1-alpha"
date-released: "2021-10-29"
authors:
- family-names: Carette
given-names: Jacques
orcid: "https://orcid.org/0000-0001-8993-9804"
website: "https://www.cas.mcmaster.ca/~carette/"
affiliation: "McMaster University, Computing and Software Department"
email: "carette@mcmaster.ca"
- family-names: Sabry
given-names: Amr
orcid: "https://orcid.org/0000-0002-1025-7331"
website: "https://amr-sabry.luddy.indiana.edu/"
affiliation: "Indiana University, Department of Computer Science - Luddy School of Informatics, Computing, and Engineering"
email: "sabry@indiana.edu"
- family-names: Choudhury
given-names: Vikraman
orcid: "https://orcid.org/0000-0003-2030-8056"
website: "https://vikraman.org"
affiliation: "Indiana University, Department of Computer Science - Luddy School of Informatics, Computing, and Engineering"
email: "vikraman@indiana.edu"
- family-names: Chen
given-names: Chao-Hong
orcid: "https://orcid.org/0000-0002-9314-8105"
website: "https://dreamlinuxer.github.io/"
affiliation: "Facebook, Inc."
email: "chaohong@fb.com"
GitHub Events
Total
- Watch event: 1
Last Year
- Watch event: 1
Issues and Pull Requests
Last synced: 10 months 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