GitHub / UniMath / agda-unimath
The agda-unimath library
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/UniMath%2Fagda-unimath
PURL: pkg:github/UniMath/agda-unimath
Stars: 258
Forks: 82
Open issues: 147
License: mit
Language: Agda
Size: 28.7 MB
Dependencies parsed at: Pending
Created at: over 3 years ago
Updated at: 22 days ago
Pushed at: 30 days ago
Last synced at: 15 days ago
Commit Stats
Commits: 2095
Authors: 46
Mean commits per author: 45.54
Development Distribution Score: 0.434
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/UniMath/agda-unimath
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