Data

Tools

Indexes

Applications

Experiments

Open Source Science

forest

https://github.com/fredrik-bakke/forest

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.4%) to scientific vocabulary

Keywords

category-theory dependent-type-theory univalent-mathematics
Last synced: 6 months ago · JSON representation ·

Repository

Basic Info
Statistics
  • Stars: 3
  • Watchers: 2
  • Forks: 0
  • Open Issues: 0
  • Releases: 0
Topics
category-theory dependent-type-theory univalent-mathematics
Created almost 2 years ago · Last pushed over 1 year ago
Metadata Files
License Citation

Owner

  • Name: Fredrik Bakke
  • Login: fredrik-bakke
  • Kind: user
  • Location: Norway
  • Company: NTNU

Citation (CITATION.cff) 

cff-version: 1.2.0
title: fredrik-bakke/forest
message: >-
  If you use this software, please cite it using the
  metadata from this file.
type: software
authors:
  - given-names: Fredrik
    family-names: Bakke
    email: fredrik.bakke@ntnu.no
    affiliation: NTNU
    orcid: "https://orcid.org/0000-0002-0774-6783"
repository-code: "https://github.com/fredrik-bakke/forest"
url: "https://fredrik-bakke.github.io"

GitHub Events

Total
  • Push event: 1
Last Year
  • Push event: 1

Issues and Pull Requests

Last synced: 11 months ago

All Time
  • Total issues: 0
  • Total pull requests: 0
  • Average time to close issues: N/A
  • Average time to close pull requests: N/A
  • Total issue authors: 0
  • Total 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
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
View more stats
Top Authors
Issue Authors
Pull Request Authors
Top Labels
Issue Labels
Pull Request Labels

Dependencies

.github/workflows/gh-pages.yml actions
  • actions/checkout v4 composite
  • actions/configure-pages v5 composite
  • actions/deploy-pages v4 composite
  • actions/setup-python v5 composite
  • actions/upload-pages-artifact v3 composite
  • ocaml/setup-ocaml v2 composite
  • teatimeguest/setup-texlive-action v3 composite