Language Breakdown
Lines of code distribution across 16 owned repositories
6.2M
Total LOC
Python
5,620,501 lines
90.1%
N/A
Haskell
374,692 lines
6.0%
N/A
Roff
92,091 lines
1.5%
N/A
Shell
40,377 lines
0.6%
N/A
HTML
31,755 lines
0.5%
N/A
Other
81,156 lines
1.3%
N/A
I
I-Shaped Developer
I-shapedSpecialist — deep expertise in Python
Python
Haskell
Roff
Shell
HTML
Collaboration Network
Global Impact visualization
Repos
28
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
1 day
6
Contributions
5
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
6 total
Shun Kashiwa
@shumbo
Michael Arntzenius
@rntz
farhad250
@farhad250
Gan Shen
@gshen42
Vaibhav Sagar
@vaibhavsagar
Synced via GitHub
Top Repositories
GPipe-GLFW
3
8
Haskell
lh-playground
Liquid Haskell playground
2
0
Haskell
tinybcast
2
0
Haskell
ivy-proofs
A repository to collect Ivy proofs of various distributed algorithms
0
0
C++
lean-playground
Lean4 playground
0
0
Lean
ivy
0
0
C++
ivy-tutorials
0
0
Makefile
vector-clocks
0
0
TLA
apalache-tutorials
0
0
TLA
hosts-blocklist
automatically block hosts from lists of spam domains
0
0
Python
Open Source Impact
Contributions to external projects
48 merged PRs
No external contributions found.