1.math-comp / math-comp
Mathematical Components
+13 stars
from 693 · score 2.64
Trending repositories
Ranked by Attention Score: stars gained over the last 90 complete days
6 repositories by Attention Score · Aug 5, 2026 – Nov 2, 2026 (UTC)
2.rocq-community / fourcolor
Formal proof of the Four Color Theorem [maintainer=@ybertot]
+6 stars
from 246 · score 1.95
3.math-comp / analysis
Mathematical Components compliant Analysis Library
+2 stars
from 244 · score 1.10
4.math-comp / mczify
Micromega tactics for Mathematical Components
+2 stars
from 29 · score 1.10
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