gravatar for edwinb

edwinb edwinb on Github

global

Languages

7 total

LanguageReposStarsGlobal
all272,37721,465
Idris181,9932
Haskell1170658
TeX31071,021
Vim Script1731,167
CSS11519,182
unknown214105,202
C1595,486

Repos

27 total

RepoLanguageStarsRank
edwinb/Idris2-boot on GithubIdris2-bootIdris9052
edwinb/Blodwen on GithubBlodwenIdris5403
edwinb/idris-php on Githubidris-phpHaskell170588
edwinb/TypeDD-Samples on GithubTypeDD-SamplesIdris16115
edwinb/SPLV20 on GithubSPLV20Idris10323
edwinb/Yaffle on GithubYaffleIdris8628
edwinb/Protocols on GithubProtocolsTeX821,266
edwinb/idris2-vim on Githubidris2-vimVim Script731,617
edwinb/SDL-idris on GithubSDL-idrisIdris4647
edwinb/States on GithubStatesIdris3662

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-15T10:39:22.513208180Z Re-sync