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
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

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