coq-community

global

Languages

11 total

Language	Repos	Stars	Global
all	69	2,577	19,978
Coq	51	1,639	3
OCaml	4	385	116
unknown	3	353	9,286
HTML	2	54	14,136
Dockerfile	2	40	1,825
JavaScript	1	36	84,576
Nix	1	31	593
Shell	2	14	36,681
Mustache	1	12	340
Python	1	7	318,709
Makefile	1	6	6,849

Repos

69 total

Repo	Language	Stars	Rank
vscoq	OCaml	307	114
awesome-coq	unknown	285	11,593
math-classes	Coq	157	34
fourcolor	Coq	150	37
coq-ext-lib	Coq	123	46
corn	Coq	108	52
coq-art	Coq	103	55
coq-dpdgraph	Coq	83	71
manifesto	unknown	68	35,291
coqeal	Coq	64	86

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

Preview

Last updated: 2024-04-23T05:26:37.613544995Z Re-sync