Rankings
Badges
/
CBirkbeck
Rankings
Badges
Overview
Ranks
Repositories
Languages
Chris Birkbeck
@CBirkbeck
Refresh
Open GitHub
null
Profile age: about 6 years
Updated 6 days ago
10 followers • 5 following
Contacts
https://cdbirkbeck.wixsite.com/website
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%
GLn_F_q
1
0
updated over 1 year ago • age over 1 year
Lean
100.0%
DirichletNonvanishing
Archived
0
1
updated 11 months ago • age about 1 year
Lean
82.8%
TeX
11.0%
HTML
2.8%
Python
2.6%
Ruby
0.7%
ModFormDims
0
0
updated about 2 months ago • age about 1 year
Lean
92.5%
Python
5.5%
Shell
1.0%
Batchfile
1.0%
LeanModularForms
0
0
updated 8 days ago • age 4 months
Lean
100.0%
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
