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 | math-comp/analysis Mathematical Components compliant Analysis Library | math-comp/math-comp Mathematical Components |
|---|---|---|
| Stars | 247 | 707 |
| Net stars, last 30 days | +2 | +7 |
| Largest star day | +2 on May 12, 2026 | +2 on May 20, 2026 |
| Milestone reached in the record | None | None |
| Forks | 76 | 136 |
| Language | Rocq Prover | Rocq Prover |
| License | Other license | Other license |
| Created | Nov 29, 2017 | Mar 11, 2015 |
| Last push | Nov 2, 2026 | Oct 30, 2026 |
| Archived | No | No |
| In the Repository Index since | Oct 22, 2026 | Oct 22, 2026 |
Topics that all of them have on the Repository Host: rocq, coq, mathcomp, ssreflect. 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.