Language Breakdown
Lines of code distribution across 17 owned repositories
25.3M
Total LOC
Jupyter Notebook
18,974,776 lines
74.9%
N/A
HTML
4,527,548 lines
17.9%
N/A
Lean
1,105,694 lines
4.4%
N/A
TeX
353,946 lines
1.4%
N/A
CSS
86,431 lines
0.3%
N/A
Other
284,133 lines
1.1%
N/A
I
I-Shaped Developer
I-shapedSpecialist — deep expertise in Jupyter Notebook
Jupyter Notebook
HTML
Lean
TeX
CSS
Collaboration Network
Global Impact visualization
Repos
22
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
1 day
422
Contributions
373
Commits
1
Pull Requests
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Jan
Feb
Mar
Apr
May
Jun
Mo
We
Fr
Based on GitHub activity
Less
More
Followers
2
Top Repositories
VERSEIM-2025
repo for the formalization project in VERSEIM-REU at Tufts 2025
2
1
Lean
2024-Sp-Math190
2
0
Jupyter Notebook
proof-sketches
0
0
Lean
gradekeeper
0
0
Idris
pubs
0
0
Lean
course-planner
0
0
Lean
lean4-markdown
Lean 4 Markdown rendering library — types, rendering functions, and Represent typeclass
0
0
Lean
mlml
0
0
Lean
2026-Sp-Math087
Math 087 Math Modeling Tufts University Spring 2026
0
0
Jupyter Notebook
mathlib4
The math library of Lean 4
0
0
Lean
Open Source Impact
Contributions to external projects
0 merged PRs
Contributed to 2 repositories