Coq

Rank		Developer	Repos	Stars
1		AbsInt	1	1,692
2		mit-plv	17	1,587
3		gustavo-depaula	1	1,365
4		UniMath	10	1,312
5		HoTT	1	1,191
6		jwiegley	12	1,072
7	$gravatar for math-comp$	math-comp	18	917
8		uwplse	12	878
9		magmide	1	784
10		tchajed	30	668

Rank	Repo	Stars	Developer
1	CompCert	1,692	AbsInt
2	stalin-sort	1,365	gustavo-depaula
3	Coq-HoTT	1,191	HoTT
4	UniMath	876	UniMath
5	magmide	784	magmide
6	category-theory	716	jwiegley
7	fiat-crypto	636	mit-plv
8	verdi	559	uwplse
9	math-comp	515	math-comp
10	coq-tricks	458	tchajed

Topic	Repos	Stars