Language Breakdown
Lines of code distribution across 4 owned repositories
3.2M
Total LOC
Lean
2,502,346 lines
78.1%
N/A
TeX
540,374 lines
16.9%
N/A
C++
151,870 lines
4.7%
N/A
HTML
9,818 lines
0.3%
N/A
Makefile
1,041 lines
0.0%
N/A
Other
178 lines
0.0%
N/A
I
I-Shaped Developer
I-shapedSpecialist — deep expertise in Lean
Lean
TeX
C++
HTML
Makefile
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
263
Contributions
251
Commits
10
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
8 total
Steven Kusuman
@cperkkk
David Renshaw
@dwrensha
Owen Sharpe
@VulcanForge
Peter Nelson
@apnelson1
Russell Saerang
@RussellDash332
Synced via GitHub
Top Repositories
IMOSLLean4
Formalization of IMO shortlist problems in Lean 4
25
4
Lean
imo-A-and-N
IMO SL Formalization
2
0
Lean
mathlib4
The math library of Lean 4
0
0
Lean
mortarsanjaya.github.io
0
0
HTML
mathlib
Lean mathematical components library
0
0
Lean
indonesian-mo-formalization
Formalization of Indonesian Mathematical Olympiad problems using Lean / Formalisasi soal-soal OSN/KSN Matematika menggunakan Lean
0
0
Lean
CoinWeight
0
0
C++
Open Source Impact
Contributions to external projects
5 merged PRs
Contributed to 1 repositories