Austin, TX
42
Followers
21
Following
11
Public Repos
0
Private Repos
Language Breakdown
Lines of code distribution across 2 owned repositories
32K
Total LOC
C
13,852 lines
43.1%
N/A
HTML
11,509 lines
35.8%
N/A
CSS
6,578 lines
20.4%
N/A
Makefile
230 lines
0.7%
N/A
T
T-Shaped Developer
T-shapedDeep in C with broad versatility
C
HTML
CSS
Makefile
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
5 days
834
Contributions
353
Commits
86
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
21 total
thanhnguyen-aws
@thanhnguyen-aws
Sean McLaughlin
@seanmcl
Graham Leach-Krouse
@gleachkr
Henrik Böving
@hargoniX
Siddharth
@bollu
Synced via GitHub
Top Repositories
LNSym
Armv8 Native Code Symbolic Simulator in Lean
1
0
Lean
Ring0Code
Simple kernel-level programs to be verified using the ACL2-based x86isa reasoning framework
1
0
C
acl2
Shilpi's Fork of ACL2 System and Books
1
0
Common Lisp
cbmc
C Bounded Model Checker
0
0
C++
s2n-bignum
0
0
OCaml
leansat
This package provides an interface and foundation for verified SAT reasoning
0
0
Lean
ELFSage
A toy ELF parser/validator
0
0
Lean
leanbv
0
0
lean-std4
Standard Library for Lean 4
0
0
Lean
shigoel.github.io
Personal Website
0
0
HTML
Open Source Impact
Contributions to external projects
169 merged PRs
strata-org/Strata
198
strata-org/Strata-Boole
0
strata-org/Strata-DDM
0
strata-org/Strata-Python
0
strata-org/Strata-Boogie
0
strata-org/Strata-CLI
0
Contributed to 6 repositories