Yi.Yuan
@yuanyi-350
Peking University
Beijing, China
19
Followers
29
Following
15
Public Repos
0
Private Repos
Language Breakdown
Lines of code distribution across 7 owned repositories
150K
Total LOC
Python
92,108 lines
61.2%
N/A
Lean
56,045 lines
37.3%
N/A
Shell
2,242 lines
1.5%
N/A
I
I-Shaped Developer
I-shapedSpecialist — deep expertise in Python
Python
Lean
Shell
Collaboration Network
Global Impact visualization
Repos
31
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
10 days
618
Contributions
319
Commits
280
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
29 total
Xianbang Wang
@PeppaKing8
Rémy Degenne
@RemyDegenne
Tony Beta Lambda
@tonyxty
PrinChern
@imathwy
Guoxiong Gao
@Al2S3
Synced via GitHub
Top Repositories
llm-from-scratch-assignment3-scaling
CS336 Assignment 3: Scaling
5
0
Python
ReasBook
ReasBook main branch mirror for self-hosted CI
0
0
Lean
Sphere-Packing-Lean
A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8 and 24.
0
0
Lean
strongpnt
0
0
Lean
interval
Conservative floating point interval arithmetic in Lean
0
0
Lean
llm-from-scratch-assignment5-alignment
0
0
Python
llm-from-scratch-assignment4-data
0
0
Python
ldmm
0
0
Python
lcpu-llm-from-scratch-assignment2-systems
0
0
Python
llm-from-scratch-assignment1-basics
0
0
Python
Open Source Impact
Contributions to external projects
3 merged PRs
leanprover-community/mathlib4
3439
girving/ray
30
optsuite/optlib
100
leanprover/lean-action
34
kbuzzard/ClassFieldTheory
15
frenzymath/shouyi
6
Contributed to 6 repositories