Language Breakdown
Lines of code distribution across 9 owned repositories
61.1M
Total LOC
TeX
21,081,588 lines
34.5%
N/A
Lean
17,871,923 lines
29.3%
N/A
Python
10,449,242 lines
17.1%
N/A
HTML
7,750,822 lines
12.7%
N/A
Wolfram Language
3,407,134 lines
5.6%
N/A
Other
496,176 lines
0.8%
N/A
π
Pi-Shaped Developer
π-shapedTwo strong pillars: TeX & Lean
TeX
Lean
Python
HTML
Wolfram Language
Collaboration Network
Global Impact visualization
Repos
18
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
21 days
5,467
Contributions
4,537
Commits
27
Pull Requests
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Jan
Feb
Mar
Apr
May
Jun
Mo
We
Fr
Based on GitHub activity
Less
More
Following
3 total
Synced via GitHub
Top Repositories
Open Source Impact
Contributions to external projects
24 merged PRs
Contributed to 3 repositories