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 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
Basic Info
- Host: GitHub
- Owner: xidbad
- License: apache-2.0
- Language: Lean
- Default Branch: main
- Homepage: https://xidbad.github.io/Test/
- Size: 32.2 KB
Statistics
- Stars: 0
- Watchers: 0
- Forks: 0
- Open Issues: 0
- Releases: 0
Created 12 months ago
· Last pushed 12 months ago
Metadata Files
Readme
Contributing
License
Code of conduct
Citation
Owner
- Login: xidbad
- Kind: user
- Repositories: 1
- Profile: https://github.com/xidbad
GitHub Events
Total
- Push event: 6
- Public event: 1
- Create event: 17
Last Year
- Push event: 6
- Public event: 1
- Create event: 17
Dependencies
.github/workflows/blueprint.yml
actions
- actions/cache v4 composite
- actions/checkout v4 composite
- actions/deploy-pages v4 composite
- actions/upload-pages-artifact v3 composite
- ruby/setup-ruby v1 composite
- xu-cheng/texlive-action v2 composite
.github/workflows/build-project.yml
actions
- actions/cache v4 composite
- actions/checkout v4 composite
- leanprover/lean-action f807b338d95de7813c5c50d018f1c23c9b93b4ec composite
.github/workflows/create-release.yml
actions
- leanprover-community/lean-release-tag 0a978e45247f1ef211cd9d7f99d0dbd87638a70a composite
.github/workflows/update.yml
actions
- leanprover-community/mathlib-update-action 30121004826adb85f006e31ce5d25a33ce79c7a6 composite
- leanprover-community/mathlib-update-action/do-update 30121004826adb85f006e31ce5d25a33ce79c7a6 composite
home_page/Gemfile
rubygems
- github-pages >= 0 development
- http_parser.rb ~> 0.6.0
- tzinfo ~> 1.2
- tzinfo-data >= 0
- wdm ~> 0.1.1
- webrick ~> 1.7
home_page/Gemfile.lock
rubygems
- 102 dependencies