gravatar for plclub

plclub plclub on Github

global

Languages

5 total

LanguageReposStarsGlobal
all8234147,164
Coq318335
Haskell1292,194
Agda216131
HTML16106,781
PHP10-

Repos

8 total

RepoLanguageStarsRank
plclub/hs-to-coq on Githubhs-to-coqCoq7476
plclub/metalib on GithubmetalibCoq6881
plclub/cis670-16fa on Githubcis670-16faCoq41139
plclub/lngen on GithublngenHaskell292,925
plclub/cis6700-23sp on Githubcis6700-23spAgda14185
plclub/plclub-web on Githubplclub-webHTML689,817
plclub/cbpv-in-agda on Githubcbpv-in-agdaAgda2660
plclub/plclub-web-old on Githubplclub-web-oldPHP0-

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-12T18:55:18.739919117Z Re-sync