coq-contribs

global

Languages

4 total

Language	Repos	Stars	Global
all	148	400	99,375
Coq	141	390	16
OCaml	5	10	1,538
Makefile	1	0	-
unknown	1	0	-

Repos

148 total

Repo	Language	Stars	Rank
coq-in-coq	Coq	59	96
automata	Coq	21	253
zfc	Coq	19	282
ltl	Coq	14	363
group-theory	Coq	13	391
graph-basics	Coq	11	457
paradoxes	Coq	10	490
pi-calc	Coq	10	489
pts	Coq	10	488
lin-alg	Coq	10	487

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/coq-contribs"><img alt="Check out coq-contribs's profile on stardev.io" src="https://stardev.io/developers/coq-contribs/badge/languages/global.svg" /></a>

Preview

Last updated: 2024-05-03T16:21:36.389258608Z Re-sync