25
Followers
2
Following
15
Public Repos
0
Private Repos
Language Breakdown
Lines of code distribution across 13 owned repositories
3.5M
Total LOC
Lean
1,781,525 lines
50.8%
N/A
Jupyter Notebook
551,331 lines
15.7%
N/A
Python
514,785 lines
14.7%
N/A
TeX
259,904 lines
7.4%
N/A
TypeScript
204,561 lines
5.8%
N/A
Other
191,569 lines
5.5%
N/A
T
T-Shaped Developer
T-shapedDeep in Lean with broad versatility
Lean
Jupyter Notebook
Python
TeX
TypeScript
Collaboration Network
Global Impact visualization
Repos
18
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
4 days
2,528
Contributions
178
Commits
2
Pull Requests
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Jan
Feb
Mar
Apr
May
Jun
Mo
We
Fr
Based on GitHub activity
Less
More
Top Repositories
laplacian
Fast Laplacian estimation
16
2
Jupyter Notebook
partial_labelling
Learning with Partial Supervision
10
1
Python
active-labeling
Active labeling approached with stochastic gradient descent
3
0
Jupyter Notebook
loan
1
0
Python
autoform-bot
Autoform Bot
0
0
Python
verl
verl: Volcano Engine Reinforcement Learning for LLMs
0
0
Python
miniF2F
0
0
Lean
auction
0
0
Python
couture
0
0
TypeScript
book-annotation
0
0
TeX
Open Source Impact
Contributions to external projects
28 merged PRs
leanprover/theorem_proving_in_lean4
253
facebookresearch/PSSL
8
facebookresearch/pal
39
project-numina/kimina-lean-server
199
CharlesArnal/statement_selection
0
facebookresearch/autoform-bot
76
Contributed to 6 repositories