gravatar for coq

coq coq on Github

global

Languages

6 total

LanguageReposStarsGlobal
all175,06510,032
OCaml44,7419
Shell21825,273
unknown88726,655
Coq139119
HTML11543,112
Dockerfile1145,252

Repos

17 total

RepoLanguageStarsRank
coq/coq on GithubcoqOCaml4,5979
coq/platform on GithubplatformShell1785,488
coq/opam on GithubopamOCaml118326
coq/ceps on Githubcepsunknown4250,734
coq/stdlib2 on Githubstdlib2Coq39144
coq/ltac2 on Githubltac2unknown3163,595
coq/bot on GithubbotOCaml231,557
coq/coq.github.io on Githubcoq.github.ioHTML1541,637
coq/repo-stable-disabled on Githubrepo-stable-disabledunknown9167,697
coq/coq-bench on Githubcoq-benchShell4110,829

Badges

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

Global

Global

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

Preview

Last updated: 2024-04-19T00:33:21.126123287Z Re-sync