Language Breakdown
Lines of code distribution across 46 owned repositories
79.6M
Total LOC
HTML
69,229,100 lines
87.0%
N/A
Coq
5,554,771 lines
7.0%
N/A
Agda
2,050,545 lines
2.6%
N/A
Emacs Lisp
1,076,402 lines
1.4%
N/A
JavaScript
335,993 lines
0.4%
N/A
Other
1,304,867 lines
1.6%
N/A
I
I-Shaped Developer
I-shapedSpecialist — deep expertise in HTML
HTML
Coq
Agda
Emacs Lisp
JavaScript
Collaboration Network
Global Impact visualization
Repos
67
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
5 days
1,055
Contributions
344
Commits
3
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
99 total
Yanze Li
@funemy
András Kovács
@AndrasKovacs
std::_Rb_tree
@RIvance
kei
@thelissimus
LI CHENXI
@ayanamists
Synced via GitHub
Top Repositories
xcode-theme
Xcode theme for Emacs
19
0
Emacs Lisp
learn-plt-redex
Resources for Learning PLT Redex
13
1
emacs.d
Theorem Proving in Emacs
12
0
Emacs Lisp
contextual-typing
Contextual Typing, formalized in Agda
9
0
Agda
TypedRedex
Typed embedding of PLT Redex in Haskell
7
0
Haskell
LCTI
Local Contextual Type Inference
7
0
Agda
comp7503-tutorial-materials
3
0
Shell
applicative-intersection
Applicative Intersection Types
2
0
Coq
software-foundations
Solutions for Software Foundations
2
0
Coq
codex-switcher-menubar
Manage your multiple codex accounts in macOS menu bar
1
0
Swift
Open Source Impact
Contributions to external projects
25 merged PRs
Contributed to 2 repositories