Data

Tools

Indexes

Applications

Experiments

Open Source Science

proj

https://github.com/projconstruction/proj

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 publication links
  • ○
    Academic email domains
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (0.4%) to scientific vocabulary
Last synced: 6 months ago · JSON representation ·

Repository

Basic Info
  • Host: GitHub
  • Owner: ProjConstruction
  • License: apache-2.0
  • Language: Lean
  • Default Branch: main
  • Size: 688 KB
Statistics
  • Stars: 0
  • Watchers: 0
  • Forks: 0
  • Open Issues: 2
  • Releases: 0
Created about 1 year ago · Last pushed 6 months ago
Metadata Files
Readme Contributing License Code of conduct Citation

README.md

Multi-graded Proj Schemes in Lean4

  • Homepage : https://projconstruction.github.io/Proj/
  • Blueprint : https://projconstruction.github.io/Proj/blueprint/
  • Documentations : https://projconstruction.github.io/Proj/docs/

Owner

  • Name: ProjConstruction
  • Login: ProjConstruction
  • Kind: organization

Citation (CITATION.cff) 

cff-version: 1.2.0
title: Multigraded-Proj construction in Lean4
message: >-
  If you use this software, please cite it using the
  metadata from this file.
type: software
authors:
  - given-names: 'Mayeux '
    family-names: Arnaud
  - given-names: Jujian
    family-names: Zhang
    email: joz19@ic.ac.uk
    affiliation: Imperial College London
    orcid: 'https://orcid.org/0000-0001-7340-2703'
identifiers:
  - type: url
    value: 'https://arxiv.org/pdf/2310.13502'
    description: >-
      The mathematical background of multigraded Proj
      construction
repository-code: 'https://github.com/ProjConstruction/Proj'
license: 'Apache-2.0'
url: 'https://projconstruction.github.io/Proj/'

GitHub Events

Total
  • Issue comment event: 3
  • Member event: 1
  • Push event: 196
  • Pull request review event: 6
  • Pull request event: 21
  • Create event: 19
Last Year
  • Issue comment event: 3
  • Member event: 1
  • Push event: 196
  • Pull request review event: 6
  • Pull request event: 21
  • Create event: 19

Issues and Pull Requests

Last synced: 6 months ago

All Time
  • Total issues: 0
  • Total pull requests: 14
  • Average time to close issues: N/A
  • Average time to close pull requests: 4 days
  • Total issue authors: 0
  • Total pull request authors: 2
  • Average comments per issue: 0
  • Average comments per pull request: 0.29
  • Merged pull requests: 8
  • Bot issues: 0
  • Bot pull requests: 1
Past Year
  • Issues: 0
  • Pull requests: 14
  • Average time to close issues: N/A
  • Average time to close pull requests: 4 days
  • Issue authors: 0
  • Pull request authors: 2
  • Average comments per issue: 0
  • Average comments per pull request: 0.29
  • Merged pull requests: 8
  • Bot issues: 0
  • Bot pull requests: 1
View more stats
Top Authors
Issue Authors
Pull Request Authors
  • jjaassoonn (13)
  • dependabot[bot] (1)
Top Labels
Issue Labels
Pull Request Labels
dependencies (1) github_actions (1)