gravatar for pigworker

pigworker pigworker on Github

global / united kingdom / glasgow

Languages

5 total

LanguageReposStarsGlobalCountryLocality
all541,15638,8231,37215
Agda21743311
Haskell17183576381
unknown912918,8035177
TeX6981,055372
Idris13252276

Repos

54 total

RepoLanguageStarsRank
pigworker/CS410-17 on GithubCS410-17Agda25910
pigworker/MetaprogAgda on GithubMetaprogAgdaunknown10923,119
pigworker/CS410-14 on GithubCS410-14Agda6732
pigworker/CS410-18 on GithubCS410-18Agda5640
pigworker/so-pigworker on Githubso-pigworkerTeX471,935
pigworker/Samizdat on GithubSamizdatAgda4066
pigworker/CS410-15 on GithubCS410-15Agda4065
pigworker/shonky on GithubshonkyHaskell372,303
pigworker/TypesWhoSayNi on GithubTypesWhoSayNiAgda3575
pigworker/ProgrammerCommaCon on GithubProgrammerCommaConAgda3379

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-26T00:59:29.010672375Z Re-sync