Language Breakdown
Lines of code distribution across 7 owned repositories
1.1M
Total LOC
TypeScript
765,775 lines
71.5%
N/A
Python
205,144 lines
19.1%
N/A
Lean
42,845 lines
4.0%
N/A
JavaScript
27,510 lines
2.6%
N/A
CSS
26,904 lines
2.5%
N/A
Other
3,568 lines
0.3%
N/A
I
I-Shaped Developer
I-shapedSpecialist — deep expertise in TypeScript
TypeScript
Python
Lean
JavaScript
CSS
Collaboration Network
Global Impact visualization
Repos
10
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
7 days
1,374
Contributions
422
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
7 total
Synced via GitHub
Top Repositories
FIMO
38
4
Lean
Safe
(ACL 2025 Main) Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification - Official Implementation & Dataset
21
5
Python
Aegisub
Cross-platform advanced subtitle editor
17
1
C++
picx
5
0
TypeScript
kataoto
2
0
Python
discover-and-prove
1
0
cc-clipboard-orbstack
xclip shim for Claude Code image paste in OrbStack Linux VMs — zero dependencies
0
0
Shell
copra
COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.
0
0
Python
liuchengwucn
0
0
zh.javascript.info
现代 JavaScript 教程（The Modern JavaScript Tutorial）
0
0
HTML
Open Source Impact
Contributions to external projects
1 merged PRs
No external contributions found.