54
Followers
53
Following
71
Public Repos
0
Private Repos
Language Breakdown
Lines of code distribution across 31 owned repositories
50.4M
Total LOC
Coq
30,178,889 lines
59.9%
N/A
OCaml
10,342,658 lines
20.5%
N/A
HTML
2,830,312 lines
5.6%
N/A
TeX
1,825,924 lines
3.6%
N/A
C++
1,358,132 lines
2.7%
N/A
Other
3,859,602 lines
7.7%
N/A
T
T-Shaped Developer
T-shapedDeep in Coq with broad versatility
Coq
OCaml
HTML
TeX
C++
Collaboration Network
Global Impact visualization
Repos
83
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
1 day
175
Contributions
57
Commits
7
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
53 total
Kazuhiko Sakaguchi
@pi8027
Kenji Maillard
@kyoDralliam
Denise Ng
@Denise-Ng
Melodies Sim
@Happytreat
Walter Tay Ann Lee
@watate
Synced via GitHub
Top Repositories
undergraduate-thesis
Formalizing Coq Modules in the MetaCoq Project
2
0
Coq
dotfiles
2
0
TeX
hset-cubical
1
0
HTML
dafny-rope
Rope in Dafny.
1
0
Dafny
blog
My Hugo blog. Deployed on
1
0
HTML
typst-fine-lncs
A LNCS template for typst
0
0
Typst
agda2-vscode
0
0
TypeScript
tasks
Bringing Astrid Tasks back from the dead
0
0
Kotlin
cubical
An experimental library for Cubical Agda
0
0
Agda
Vim
:star: Vim for Visual Studio Code
0
0
TypeScript
Open Source Impact
Contributions to external projects
121 merged PRs
Contributed to 3 repositories