Compare repositories
The Star History and the facts of 2 to 5 repositories in the Repository Index, side by side. You choose the repositories. The page does not rank them.
Facts
| Fact | imdea-software/htt Hoare Type Theory | UniMath/UniMath This rocq library aims to formalize a substantial body of mathematics using the univalent point of view. |
|---|---|---|
| Stars | 88 | 1,022 |
| Net stars, last 30 days | 0 | +5 |
| Largest star day | +1 on Jun 22, 2026 | +2 on Aug 4, 2026 |
| Milestone reached in the record | None | 1,000 on May 2, 2026 |
| Forks | 7 | 187 |
| Language | Rocq Prover | Rocq Prover |
| License | APACHE-2.0 | Other license |
| Created | Mar 23, 2014 | Mar 1, 2014 |
| Last push | Aug 26, 2026 | Oct 25, 2026 |
| Archived | No | No |
| Health facts: Maintenance | 2 of 4 checks (2 without data) | 2 of 4 checks (2 without data) |
| Health facts: Releases | 2 of 3 checks (1 without data) | 1 of 3 checks (1 without data) |
| Health facts: Security practice | 0 of 1 check (1 without data) | 0 of 1 check (1 without data) |
| Health facts: Community files | 1 of 3 checks (2 without data) | 1 of 3 checks (2 without data) |
| Commits, last 13 weeks | No data | No data |
| Weeks with commits, last 52 | No data | No data |
| In the Repository Index since | Oct 22, 2026 | Oct 22, 2026 |
Topics that all of them have on the Repository Host: coq. The facts come from the Repository Host and from the Star History that AwesomeRepos records. A shared topic does not mean that one repository can replace another. Each Health Facts row is one dimension alone; AwesomeRepos does not add them into one score. How each check is defined