gravatar for plt-amy

plt-amy plt-amy on Github

global / brazil / brazil

Languages

3 total

LanguageReposStarsGlobalCountryLocality
all4306115,3641,268430
Agda12841111
Haskell2212,526207
unknown111,179,17135,0387,675

Repos

4 total

RepoLanguageStarsRank
plt-amy/1lab on Github1labAgda2849
plt-amy/dep on GithubdepHaskell125,561
plt-amy/mld on GithubmldHaskell96,864
plt-amy/plt-amy on Githubplt-amyunknown11,232,799

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

Preview

Country

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

Preview

Locality

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

Preview

Last updated: 2024-03-17T12:42:53.157756912Z Re-sync