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 links in README
-
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (0.2%) to scientific vocabulary
Last synced: 10 months ago
·
JSON representation
·
Repository
TLA+ Modelling of Streamlet
Basic Info
- Host: GitHub
- Owner: kshehata
- Language: TLA
- Default Branch: main
- Size: 72.3 KB
Statistics
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 1
- Releases: 0
Created over 3 years ago
· Last pushed over 3 years ago
Metadata Files
Citation
Owner
- Name: Kareem Shehata
- Login: kshehata
- Kind: user
- Location: Waterloo, ON
- Website: http://kareem.shehata.ca
- Repositories: 23
- Profile: https://github.com/kshehata
Citation (CITATION.cff)
cff-version: 1.2.0
title: "Streamlet and HotStuff TLA Models"
message: "If you use this software, please cite it as below."
version: 0.0.1
date-released: 2022-11-20
type: software
authors:
- family-names: Shehata
given-names: Kareem
email: kareem@comp.nus.edu.sg
affiliation: National University of Singapore
- family-names: Xiong
given-names: Alex
email: xiong@comp.nus.edu.sg
affiliation: National University of Singapore
GitHub Events
Total
Last Year
Issues and Pull Requests
Last synced: about 1 year ago
All Time
- Total issues: 0
- Total pull requests: 2
- Average time to close issues: N/A
- Average time to close pull requests: 2 days
- Total issue authors: 0
- Total pull request authors: 1
- Average comments per issue: 0
- Average comments per pull request: 0.5
- 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
Top Authors
Issue Authors
Pull Request Authors
- alxiong (2)