Rankings
Badges
/
kbuzzard
Rankings
Badges
Overview
Ranks
Repositories
Languages
Kevin Buzzard
@kbuzzard
Refresh
Open GitHub
🇬🇧 London
@ImperialCollegeLondon
Profile age: about 8 years
Updated 5 days ago
861 followers • 0 following
Contacts
k.buzzard@imperial.ac.uk
https://profiles.imperial.ac.uk/k.buzzard
@xenaproject.bsky.social
Organizations
Profile Overview
Global
United Kingdom
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Legend 2
Persona
Influencer
#100,320
#593,408
#9,133
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
xena
229
23
updated 9 months ago • age about 8 years
Lean
84.6%
TeX
15.4%
lean-stacks-project
22
8
updated about 4 years ago • age over 7 years
Lean
100.0%
ClassFieldTheory
10
22
updated 5 days ago • age 8 months
Lean
71.1%
TeX
26.8%
Python
1.2%
HTML
0.6%
Dockerfile
0.3%
mathematics-in-lean
9
0
updated almost 7 years ago • age almost 7 years
Lean
100.0%
real-numbers-course
8
0
updated about 6 years ago • age about 6 years
Lean
100.0%
View all 14 repositories
Last Contributions
2025
FLT
2 PRs
+121
-28
Lean
741
98
28
GlimpseOfLean
1 PR
+3
-1
Lean
290
107
NNG4
1 PR
+2
-0
Lean
245
52
infinity-cosmos
1 PR
+10
-10
TeX
82
21
13
leanprover-community.github.io
~9 PRs
+123
-6
CSS
66
162
View all contributions
Latest Updates
13 Nov 2025
Followers Count:
855
861
29 Oct 2025
Followers Count:
852
855
15 Oct 2025
Followers Count:
843
852
01 Oct 2025
Followers Count:
838
843
17 Sep 2025
Followers Count:
832
838
06 Jan 2025
First seen
Subscribe to kbuzzard's GitHub rank updates in your messenger
WhatsApp
Telegram
