Data

Tools

Indexes

Applications

Experiments

Open Source Science

https://github.com/bjoernkjoshanssen/deontic

https://github.com/bjoernkjoshanssen/deontic

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 publication links
  • ○
    Academic email domains
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Unable to calculate vocabulary similarity
Last synced: 10 months ago · JSON representation

Repository

Basic Info
  • Host: GitHub
  • Owner: bjoernkjoshanssen
  • Language: Lean
  • Default Branch: main
  • Size: 102 KB
Statistics
  • Stars: 0
  • Watchers: 1
  • Forks: 0
  • Open Issues: 0
  • Releases: 0
Created over 1 year ago · Last pushed about 1 year ago
Metadata Files
Readme

README.md

deontic

Owner

  • Name: Bjørn Kjos-Hanssen
  • Login: bjoernkjoshanssen
  • Kind: user
  • Location: Honolulu, HI
  • Company: University of Hawaii at Manoa

Professor of Mathematics

GitHub Events

Total
  • Push event: 17
  • Create event: 2
Last Year
  • Push event: 17
  • Create event: 2

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