Language Breakdown
Lines of code distribution across 5 owned repositories
3.4M
Total LOC
SystemVerilog
2,918,246 lines
85.3%
N/A
Alloy
214,488 lines
6.3%
N/A
Python
156,061 lines
4.6%
N/A
HTML
44,566 lines
1.3%
N/A
Java
24,691 lines
0.7%
N/A
Other
61,135 lines
1.8%
N/A
I
I-Shaped Developer
I-shapedSpecialist — deep expertise in SystemVerilog
SystemVerilog
Alloy
Python
HTML
Java
Collaboration Network
Global Impact visualization
Repos
19
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
0 total
Not following anyone yet.
Synced via GitHub
Top Repositories
checkmate
38
4
Alloy
TriCheck
13
2
Python
trippel-lab
1
3
SystemVerilog
subrosa
Leakage containment models
1
2
Alloy
fbzmq
Facebook ZeroMQ wrappers.
1
0
Python
coatcheck
COATCheck
1
0
Coq
litmustestgen
Alloy models for automatic synthesis of memory model litmus test suites (from ASPLOS 2017)
1
0
Alloy
dynamorio
Dynamic Instrumentation Tool Platform
1
0
C
COS510-fproj
1
0
Haskell
Open Source Impact
Contributions to external projects
0 merged PRs
No external contributions found.