gravatar for ChrisHughes24

ChrisHughes24 ChrisHughes24 on Github

global / united kingdom / cambridgeshire

Languages

2 total

LanguageReposStarsGlobalCountryLocality
all18101,276,60934,62923
Lean1610183141
TeX20---

Repos

18 total

RepoLanguageStarsRank
ChrisHughes24/LP on GithubLPLean4543
ChrisHughes24/Sylow on GithubSylowLean3669
ChrisHughes24/leanstuff on GithubleanstuffLean11,303
ChrisHughes24/MatroidLinearProgramming on GithubMatroidLinearProgrammingLean11,096
ChrisHughes24/lean4bits on Githublean4bitsLean11,068
ChrisHughes24/leanstuff1 on Githubleanstuff1Lean0-
ChrisHughes24/type_class on Githubtype_classLean0-
ChrisHughes24/numbertheory on GithubnumbertheoryLean0-
ChrisHughes24/single_relation on Githubsingle_relationLean0-
ChrisHughes24/jordan_hoelder on Githubjordan_hoelderLean0-

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-06-17T20:26:46.235930409Z Re-sync