Austin, TX
0
Followers
0
Following
141
Public Repos
0
Private Repos
Language Breakdown
Lines of code distribution across 50 owned repositories
17.6M
Total LOC
Python
14,059,083 lines
80.0%
N/A
C
1,480,821 lines
8.4%
N/A
Rust
1,057,480 lines
6.0%
N/A
C++
662,277 lines
3.8%
N/A
Rocq Prover
159,484 lines
0.9%
N/A
Other
162,849 lines
0.9%
N/A
I
I-Shaped Developer
I-shapedSpecialist — deep expertise in Python
Python
C
Rust
C++
Rocq Prover
Collaboration Network
Global Impact visualization
Repos
144
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
Followers
0
No followers yet.
Following
0 total
Not following anyone yet.
Synced via GitHub
Top Repositories
zk-smoketest
zk-smoketest.py provides a simple smoketest client for a ZooKeeper ensemble
0
0
Python
xhtml2pdf
HTML/CSS to PDF converter based on Python
0
0
Python
wtf_python36
0
0
Python
wasm-game-of-life
Just a simple game of life
0
0
Rust
warp-mem-leak-test
Investigate Warp's memory leak
0
0
Shell
warehouse
The Python Package Repository
0
0
Python
vsh
Virtual Environment Shell
5
1
Python
Vox
Voxel Engine and Voxel Game Development
0
0
C++
VideoOrganizer
0
0
Python
vex
Run a command in the named virtualenv.
0
0
Python
Open Source Impact
Contributions to external projects
0 merged PRs
No external contributions found.