gravatar for agda

agda agda on Github

global

Languages

5 total

LanguageReposStarsGlobal
all294,35511,834
Haskell82,52746
Agda151,7411
Python133110,323
unknown42961,004
TeX1253,474

Repos

29 total

RepoLanguageStarsRank
agda/agda on GithubagdaHaskell2,36836
agda/agda-stdlib on Githubagda-stdlibAgda5552
agda/cubical on GithubcubicalAgda4203
agda/agda-categories on Githubagda-categoriesAgda3487
agda/agda2hs on Githubagda2hsAgda16414
agda/agda-frp-js on Githubagda-frp-jsAgda10021
agda/agda-language-server on Githubagda-language-serverHaskell951,039
agda/agda-frp-ltl on Githubagda-frp-ltlAgda4163
agda/agda-ocaml on Githubagda-ocamlHaskell392,305
agda/agda-pkg on Githubagda-pkgPython33141,649

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-11T22:14:21.384550317Z Re-sync