UniMath
/All repositories
Overview
HEALTH SCORE
Excellent*
Partial score (2/3 categories)
58out of 65
Strong maintainer coverage. Development cadence is the only remaining gap. Security & Supply Chain is unavailable, so weights were redistributed.
LIFECYCLE
Active
Consistent commits, responsive maintainers, regular releases, and healthy issue triage.
Health breakdown
Excellent*(58/65)
Maintainer availability, known risks and supply chain posture, and whether the project is actively developed or appropriately stable.
Maintainer responsiveness
Median response time is 1 day.
Bus factor
5 active maintainers currently have merge rights.
Organization Diversity
Contributors span 11 organizations.
Project Achievements
Leaderboards
About
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
First commit
Software value
$25M
License(s)
Other
Data sources
Git
GitHub