Language Breakdown
Lines of code distribution across 5 owned repositories
1.8M
Total LOC
C#
1,698,288 lines
96.4%
N/A
Dafny
25,724 lines
1.5%
N/A
Python
23,865 lines
1.4%
N/A
Vue
9,300 lines
0.5%
N/A
HTML
1,647 lines
0.1%
N/A
Other
2,382 lines
0.1%
N/A
I
I-Shaped Developer
I-shapedSpecialist — deep expertise in C#
C#
Dafny
Python
Vue
HTML
Collaboration Network
Global Impact visualization
Repos
11
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
1 day
82
Contributions
13
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
4 total
Synced via GitHub
Top Repositories
WarpAttack
1
0
JavaScript
hw5-nanogpt-optim
0
0
Python
videojs-tech-share
0
0
Vue
program-proofs-selected-exercises
0
0
Dafny
extensibella
A system for reasoning about extensible languages in a modular fashion. Refactor extensibella to adapt silver most recent development branch (v.5.0.1)
0
0
SystemVerilog
sterling
A system for extensible languages defined using inference rules, for silver version 0.5.1
0
0
SystemVerilog
ros-turtle-sim
0
0
Python
sdk_spcify
trying on build kms key identifier
0
0
C#
Open Source Impact
Contributions to external projects
3 merged PRs
No external contributions found.