Rankings
Badges
/
CBirkbeck
Rankings
Badges
Overview
Ranks
Repositories
Languages
Chris Birkbeck
@CBirkbeck
Refresh
Open GitHub
null
Profile age: about 6 years
Updated 5 days ago
10 followers • 5 following
Contacts
https://cdbirkbeck.wixsite.com/website
Profile Overview
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Beginner 5
Persona
Contributor
#844,253
#1,477,970
#1,272,260
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
ModularForms
4
2
updated about 2 years ago • age over 4 years
Python
86.6%
Lean
10.6%
HTML
2.3%
JavaScript
0.4%
CSS
0.2%
ModularForms_Lean4
4
2
updated 12 months ago • age about 2 years
Lean
100.0%
LeanBridge
2
1
1
updated 9 days ago • age 3 months
Python
98.8%
TeX
0.7%
q
0.2%
eC
0.2%
PowerShell
0.1%
FltRegulartest
1
2
updated about 1 year ago • age about 2 years
Lean
87.7%
TeX
11.5%
Python
0.7%
CSS
0.2%
power_residue_symbols
1
0
updated 11 months ago • age over 1 year
Lean
100.0%
View all 9 repositories
Last Contributions
2025
formal-conjectures
2 PRs
+171
-0
Lean
649
85
Sphere-Packing-Lean
2 PRs
+160
-429
Lean
26
16
7
2022
blog
1 PR
+125
-0
Python
7
26
View all contributions
Latest Updates
02 Sep 2025
Followers Count:
9
10
16 Jan 2025
First seen
Subscribe to CBirkbeck's GitHub rank updates in your messenger
WhatsApp
Telegram
