Language Breakdown
Lines of code distribution across 3 owned repositories
1.4M
Total LOC
Jupyter Notebook
1,404,333 lines
98.0%
N/A
Python
22,889 lines
1.6%
N/A
Lean
6,255 lines
0.4%
N/A
I
I-Shaped Developer
I-shapedSpecialist — deep expertise in Jupyter Notebook
Jupyter Notebook
Python
Lean
Collaboration Network
Global Impact visualization
Repos
8
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
1 day
17
Contributions
10
Commits
2
Pull Requests
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Jan
Feb
Mar
Apr
May
Jun
Mo
We
Fr
Based on GitHub activity
Less
More
Top Repositories
Project_qec_lean
Formal verification of the CSS code–chain complex correspondence over F₂, in Lean 4 + Mathlib.
1
0
Lean
f1-lap-prediction
Formula 1 Lap-Time & Pit-Stop Prediction with FastF1 and Machine Learning
1
0
Jupyter Notebook
persistent-homology-qpt
Persistent homology of quantum phase transitions (MSci): total H1 lifetime across the TFIM, XXZ, SSH and Kitaev chains
0
0
Jupyter Notebook
mathlib4
The math library of Lean 4
0
0
Lean
Lean-QuantumInfo
Quantum information theory in Lean 4
0
0
Lean
Open Source Impact
Contributions to external projects
1 merged PRs
Contributed to 2 repositories