Language Breakdown
Lines of code distribution across 1 owned repositories
10K
Total LOC
Lean
9,031 lines
91.6%
N/A
Makefile
524 lines
5.3%
N/A
Rust
309 lines
3.1%
N/A
I
I-Shaped Developer
I-shapedSpecialist — deep expertise in Lean
Lean
Makefile
Rust
Collaboration Network
Global Impact visualization
Repos
5
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
3 days
121
Contributions
37
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
7 total
YoussefHadroug
@Youssef-hadroug-47
Graja
@houssemeddinegraja
Abutalib (Barish) Namazov
@BarishNamazov
Hamza
@HamzaW06
Ong Zhi Zheng
@ongzzzzzz
Synced via GitHub
Open Source Impact
Contributions to external projects
2 merged PRs
Contributed to 2 repositories