$gravatar for math-comp$

math-comp

global

Languages

9 total

Language	Repos	Stars	Global
all	26	1,215	39,327
Coq	18	965	8
TeX	1	139	804
Prolog	1	91	52
HTML	1	7	90,422
Dockerfile	1	6	8,983
unknown	1	3	427,882
PostScript	1	3	779
Nix	1	1	5,301
Shell	1	0	-

Repos

26 total

Repo	Language	Stars	Rank
math-comp	Coq	543	10
analysis	Coq	179	29
mcb	TeX	139	784
hierarchy-builder	Prolog	91	45
finmap	Coq	46	118
Coq-Combi	Coq	34	163
algebra-tactics	Coq	29	182
Abel	Coq	28	186
odd-order	Coq	24	217
mczify	Coq	22	233

Badges

Get your badge to use on GitHub or websites using the code below

Global

Displays global rankings for all languages plus top two languages by stars

<a href="https://stardev.io/developers/math-comp"><img alt="Check out math-comp's profile on stardev.io" src="https://stardev.io/developers/math-comp/badge/languages/global.svg" /></a>

Preview

Last updated: 2024-04-12T06:07:18.948595157Z Re-sync