gravatar for kbuzzard

kbuzzard kbuzzard on Github

global / united kingdom / london

Languages

2 total

LanguageReposStarsGlobalCountryLocality
all16304115,9444,2801,803
Lean14302722
unknown22529,42110,3433,564

Repos

16 total

RepoLanguageStarsRank
kbuzzard/xena on GithubxenaLean2238
kbuzzard/lean-stacks-project on Githublean-stacks-projectLean21104
kbuzzard/mathematics-in-lean on Githubmathematics-in-leanLean9222
kbuzzard/real-numbers-course on Githubreal-numbers-courseLean8240
kbuzzard/IISc-experiments on GithubIISc-experimentsLean7255
kbuzzard/mathlib4_experiments on Githubmathlib4_experimentsLean6311
kbuzzard/etale_experiments on Githubetale_experimentsLean5346
kbuzzard/lean-game-skeleton on Githublean-game-skeletonLean4438
kbuzzard/xena-maze-game on Githubxena-maze-gameLean4428
kbuzzard/lean4-filters on Githublean4-filtersLean4422

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-22T19:16:51.436707363Z Re-sync