gravatar for jameshaydon

jameshaydon jameshaydon on Github

global / japan / tokyo

Languages

10 total

LanguageReposStarsGlobalCountryLocality
all2639499,5621,750867
Haskell11349347118
Idris3405311
unknown44305,2703,8101,625
HTML11828,0755,1281,952
Elixir10---
Dockerfile10---
Shell10---
Emacs Lisp20---
Rust10---
JavaScript10---

Repos

26 total

RepoLanguageStarsRank
jameshaydon/lawvere on GithublawvereHaskell263398
jameshaydon/idris-elixir on Githubidris-elixirHaskell631,523
jameshaydon/smproc on GithubsmprocIdris23106
jameshaydon/idris-graphql on Githubidris-graphqlIdris16139
jameshaydon/diff-check on Githubdiff-checkHaskell78,582
jameshaydon/optical-machines on Githuboptical-machinesHaskell69,602
jameshaydon/uk-portion-of-ICAO on Githubuk-portion-of-ICAOHaskell412,445
jameshaydon/anki-prompt on Githubanki-promptHaskell315,293
jameshaydon/highercats on Githubhighercatsunknown2753,470
jameshaydon/hermits on GithubhermitsHaskell221,080

Badges

Get your badge to use on GitHub or websites using the code below

GlobalCountryLocality

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-04-18T02:41:59.071482487Z Re-sync