Language Breakdown
Lines of code distribution across 1 owned repositories
232K
Total LOC
Coq
232,081 lines
100.0%
N/A
I
I-Shaped Developer
I-shapedSpecialist — deep expertise in Coq
Coq
Collaboration Network
Global Impact visualization
Repos
2
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
0 days
0
Contributions
0
Commits
0
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
69 total
Shengjie Zhou
@dblark
fzw-yinianzhijian
@fzw-yinianzhijian
Qingyu-Shi
@Qingyu-Shi
LeChen Qi
@Achyutace
Ren Shixin
@xiaohongrsx
Synced via GitHub
Open Source Impact
Contributions to external projects
0 merged PRs
No external contributions found.