Language Breakdown
Lines of code distribution across 38 owned repositories
1.4M
Total LOC
Lean
720,960 lines
50.6%
N/A
Python
359,345 lines
25.2%
N/A
TeX
169,203 lines
11.9%
N/A
Haskell
55,995 lines
3.9%
N/A
C
42,473 lines
3.0%
N/A
Other
76,934 lines
5.4%
N/A
T
T-Shaped Developer
T-shapedDeep in Lean with broad versatility
Lean
Python
TeX
Haskell
C
Collaboration Network
Global Impact visualization
Repos
49
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
2 days
102
Contributions
96
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
Following
14 total
Shufan Sun
@ShufanSun
Robert Joseph
@Robertboy18
jump-and-jump
@wsafight
996icu
@996icu
Chen WANG
@chenw23
Synced via GitHub
Top Repositories
format_for_fdu_math
复旦大学数学学院毕业论文latex格式
9
2
TeX
picoprobe
1
0
C
mhp2g_custom_quest
Rewrite the tools provided in https://www.youtube.com/watch?v=YxfAZ_PnzM8 in python
1
0
Python
osx_launchctl_cleaner
1
0
Python
mal_old
My implementation following this guide https://github.com/kanaka/mal
1
0
Haskell
NBE_dirty
0
0
Lean
txt_files
0
0
HDLTest1.lean
0
0
Lean
leanbook
Build an HTML book from a lean package
0
0
Python
LeanFoundations
How to make a lean by yourself with lean. Inspired by https://softwarefoundations.cis.upenn.edu.
0
0
Lean
Open Source Impact
Contributions to external projects
9 merged PRs
No external contributions found.