Paris
57
Followers
92
Following
11
Public Repos
0
Private Repos
Language Breakdown
Lines of code distribution across 6 owned repositories
8.2M
Total LOC
HTML
4,337,946 lines
52.9%
N/A
Coq
2,775,294 lines
33.8%
N/A
JavaScript
830,992 lines
10.1%
N/A
CSS
170,522 lines
2.1%
N/A
SCSS
30,285 lines
0.4%
N/A
Other
55,718 lines
0.7%
N/A
T
T-Shaped Developer
T-shapedDeep in HTML with broad versatility
HTML
Coq
JavaScript
CSS
SCSS
Collaboration Network
Global Impact visualization
Repos
14
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
1 day
1
Contributions
1
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
92 total
Jam Kabeer Ali Khan
@jam-khan
Litao Zhou
@ltzone
Zeno Zeng
@zenozeng
Emilio Jesús Gallego Arias
@ejgallego
linyongver
@linyongver
Synced via GitHub
Top Repositories
TamingMerge
Coq formalization for Taming the Merge Operator
8
1
Coq
ECOOP2020
A Type-Directed Operational Semantics for a Calculus with a Merge Operator
8
2
Coq
bowtie_coq
A Bowtie for a Beast (Artifact)
4
0
Coq
nix-configs
My Nix Configs
0
0
Nix
XSnow.github.io
0
0
HTML
zfs-autosync
0
0
Rust
CP-Foundations
Artifact and extended version of Direct Foundations for Compositional Programming
0
0
Coq
DistributingTypes
0
0
Coq
coqdocjs
CoqdocJS for Metalib and LNgen
0
0
Coq
hkuplg.github.io
Website of the University of Hong Kong Programming Languages Group
0
0
CSS
Open Source Impact
Contributions to external projects
4 merged PRs
Contributed to 1 repositories