Science Score: 54.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
-
✓Committers with academic emails
2 of 46 committers (4.3%) from academic institutions -
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (4.2%) to scientific vocabulary
Keywords
category-theory
commutative-algebra
finite-groups
graph-theory
group-theory
higher-group-theory
homotopy-type-theory
number-theory
order-theory
orthogonal-factorization-systems
ring-theory
species
structured-types
synthetic-homotopy-theory
trees
type-theories
univalent-combinatorics
univalent-foundations
univalent-mathematics
universal-algebra
Keywords from Contributors
agda
programming-language
cubical-type-theory
dependent-types
proof-assistant
type-theory
proof
Last synced: 6 months ago
·
JSON representation
·
Repository
The agda-unimath library
Basic Info
- Host: GitHub
- Owner: UniMath
- License: mit
- Language: Agda
- Default Branch: master
- Homepage: https://unimath.github.io/agda-unimath/
- Size: 29.3 MB
Statistics
- Stars: 263
- Watchers: 12
- Forks: 86
- Open Issues: 161
- Releases: 0
Topics
category-theory
commutative-algebra
finite-groups
graph-theory
group-theory
higher-group-theory
homotopy-type-theory
number-theory
order-theory
orthogonal-factorization-systems
ring-theory
species
structured-types
synthetic-homotopy-theory
trees
type-theories
univalent-combinatorics
univalent-foundations
univalent-mathematics
universal-algebra
Created over 4 years ago
· Last pushed 6 months ago
Metadata Files
Readme
Contributing
License
Citation
README.md
The agda-unimath library is a community formalization project for univalent mathematics in Agda. The library project was created by Elisabeth Stenholm, Jonathan Prieto-Cubides, and Egbert Rijke, and is currently being maintained by Egbert Rijke, Fredrik Bakke, and Vojtěch Štěpančík. Our goal is to formalize an extensive curriculum of mathematics from the univalent point of view. Furthermore, we think libraries of formalized mathematics have the potential to be useful, and informative resources for mathematicians. Our library is designed to work towards this goal, and we welcome contributions to the library about any topic in mathematics.
Links
Owner
- Name: Univalent Mathematics
- Login: UniMath
- Kind: organization
- Repositories: 21
- Profile: https://github.com/UniMath
A unified approach to formalization of mathematical knowledge based on Univalent Foundations.
Citation (CITATION.cff)
cff-version: 1.2.0
message: "If you use this software, please cite it as below."
title: "The agda-unimath library"
abstract: "The agda-unimath library is a community formalization project for univalent mathematics in Agda. Our goal is to formalize an extensive curriculum of mathematics from the univalent point of view. Furthermore, we think libraries of formalized mathematics have the potential to be useful, and informative resources for mathematicians. Our library is designed to work towards this goal, and we welcome contributions to the library about any topic in mathematics."
authors:
- family-names: "Rijke"
given-names: "Egbert"
- family-names: "Stenholm"
given-names: "Elisabeth"
- family-names: "Prieto-Cubides"
given-names: "Jonathan"
- family-names: "Bakke"
given-names: "Fredrik"
- family-names: "Štěpančík"
given-names: "Vojtěch"
- name: "others"
url: "https://unimath.github.io/agda-unimath/"
repository-code: "https://github.com/UniMath/agda-unimath/"
keywords:
- type-theory
- homotopy-type-theory
- univalent-foundations
license: MIT
Committers
Last synced: about 2 years ago
Top Committers
| Name | Commits | |
|---|---|---|
| Egbert Rijke | e****e@g****m | 1,185 |
| Fredrik Bakke | f****k@g****m | 281 |
| Léo Mangel | l****a@g****m | 110 |
| Elisabeth Bonnevier | e****r@u****o | 86 |
| Jonathan Cubides | j****s@u****o | 61 |
| Vojtěch Štěpančík | v****k@o****m | 46 |
| Raymond Baker | r****r@g****m | 35 |
| Bryan Lu | b****3@g****m | 34 |
| Tom de Jong | 4****g | 30 |
| fernando | f****v@g****m | 28 |
| ElifUskuplu | 7****u | 25 |
| Raymond Baker | 9****z | 21 |
| VictorBlanchi | 7****i | 18 |
| Ian Ray | i****5@g****m | 17 |
| Andreas Källberg | a****3@g****m | 16 |
| Matej Jazbec | j****j@o****m | 12 |
| malarbol | m****t@g****m | 11 |
| Amélia Liao | me@a****w | 10 |
| Elisabeth Bonnevier | e****h@b****e | 10 |
| Eléonore Mangel | e****l@g****m | 8 |
| Daniel Gratzer | d****r@g****m | 7 |
| maybemabeline | 1****e | 6 |
| Ivan Kobe | i****e@g****m | 5 |
| Fernando Chu | 1****u | 5 |
| Elisabeth Bonnevier | 5****r | 2 |
| Alec Barreto | 1****4 | 2 |
| favonia | f****a@g****m | 2 |
| Ulrik Buchholtz | u****z@g****m | 2 |
| Masa Zaucer | m****r@s****i | 2 |
| Alice Laroche | a****s@g****m | 2 |
| and 16 more... | ||
Committer Domains (Top 20 + Academic)
Issues and Pull Requests
Last synced: 6 months ago
All Time
- Total issues: 139
- Total pull requests: 732
- Average time to close issues: about 1 month
- Average time to close pull requests: 13 days
- Total issue authors: 12
- Total pull request authors: 24
- Average comments per issue: 1.26
- Average comments per pull request: 3.28
- Merged pull requests: 540
- Bot issues: 0
- Bot pull requests: 0
Past Year
- Issues: 45
- Pull requests: 330
- Average time to close issues: 6 days
- Average time to close pull requests: 7 days
- Issue authors: 7
- Pull request authors: 13
- Average comments per issue: 1.02
- Average comments per pull request: 1.97
- Merged pull requests: 200
- Bot issues: 0
- Bot pull requests: 0
Top Authors
Issue Authors
- fredrik-bakke (78)
- lowasser (21)
- VojtechStep (15)
- EgbertRijke (14)
- malarbol (3)
- jonaprieto (2)
- ElifUskuplu (1)
- elisabethbonnevier (1)
- morphismz (1)
- djspacewhale (1)
- ncfavier (1)
- juhp (1)
Pull Request Authors
- fredrik-bakke (243)
- lowasser (154)
- EgbertRijke (127)
- VojtechStep (85)
- tomdjong (33)
- malarbol (28)
- djspacewhale (14)
- morphismz (14)
- FernandoChu (6)
- maybemabeline (5)
- ben-connors (4)
- ivankobe (3)
- arnoudvanderleer (2)
- blu-bird (2)
- UlrikBuchholtz (2)
Top Labels
Issue Labels
website (20)
good first issue (20)
help wanted (15)
bug (15)
synthetic-homotopy-theory (15)
CI (12)
enhancement (11)
refactoring (11)
foundation (11)
formalization-target (8)
documentation (7)
pre-commit (7)
tooling (5)
univalent-combinatorics (5)
category-theory (5)
group-theory (5)
cleanup (4)
real-numbers (4)
repo-maintenance (4)
question (3)
orthogonal-factorization-systems (3)
improve naming (2)
metric-spaces (2)
order-theory (2)
structured-types (2)
elementary-number-theory (2)
ring-theory (2)
1000+ theorems (1)
mathswitch (1)
logic (1)
Pull Request Labels
foundation (158)
synthetic-homotopy-theory (85)
refactoring (77)
real-numbers (53)
elementary-number-theory (53)
website (50)
fix (49)
category-theory (43)
group-theory (31)
order-theory (31)
CI (30)
repo-maintenance (26)
enhancement (26)
documentation (23)
univalent-combinatorics (22)
orthogonal-factorization-systems (19)
improve naming (18)
structured-types (17)
metric-spaces (15)
typo (13)
pre-commit (12)
logic (12)
ring-theory (11)
guides (10)
cleanup (9)
set-theory (9)
tooling (9)
experiment (8)
computational-behavior (8)
higher-group-theory (8)
Dependencies
.github/workflows/ci.yaml
actions
- actions/cache v2 composite
- actions/checkout v2 composite
- haskell/actions/setup v1 composite
- peaceiris/actions-gh-pages v3 composite
- r-lib/actions/setup-pandoc v1 composite
- styfle/cancel-workflow-action 0.9.1 composite