1.math-comp / math-comp
Mathematical Components
+28 stars
from 678 · score 3.37
Trending repositories
Ranked by Attention Score: stars gained over the last 180 complete days
6 repositories by Attention Score · May 7, 2026 – Nov 2, 2026 (UTC)
2.rocq-community / fourcolor
Formal proof of the Four Color Theorem [maintainer=@ybertot]
+15 stars
from 237 · score 2.77
3.math-comp / analysis
Mathematical Components compliant Analysis Library
+7 stars
from 239 · score 2.08
4.math-comp / mczify
Micromega tactics for Mathematical Components
+3 stars
from 28 · score 1.39
5.affeldt-aist / monae
Monadic effects and equational reasoning in Rocq
+1 stars
from 76 · score 0.69
6.rocq-community / graph-theory
Graph Theory [maintainers=@chdoc,@damien-pous]
+1 stars
from 44 · score 0.69