Rankings
Badges
/
astrainfinita
Rankings
Badges
Overview
Ranks
Repositories
Languages
Zhao Yuyang 赵雨扬
@astrainfinita
Refresh
Open GitHub
🇨🇳 {Futian, Longgang}, Shenzhen 深圳{福田, 龙岗}
CUHK-Shenzhen 香港中文大学（深圳）
Profile age: over 9 years
Updated 7 days ago
119 followers • 66 following
Contacts
zhao.yu-yang@foxmail.com
Organizations
Profile Overview
Global
China
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Master 3
Persona
Influencer
#408,815
#779,157
#97,957
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
Algorithm
30
0
updated about 2 months ago • age over 2 years
Lean
98.9%
C++
1.1%
transcendental
12
0
updated over 1 year ago • age over 3 years
Lean
100.0%
lean4
1
0
16
updated 11 months ago • age almost 2 years
Lean
87.7%
C++
11.2%
Shell
0.5%
CMake
0.3%
Nix
0.2%
Last Contributions
2025
combinatorial-games
~8 PRs
+1,113
-1,507
Lean
48
7
2024
lean4
~6 PRs
+12
-9
Lean
6,395
661
91
batteries
2 PRs
+338
-83
Lean
326
125
28
EG
3 PRs
+1,254
-1,260
Lean
29
55
2023
batteries
~6 PRs
+86
-11
Lean
326
125
28
View all contributions
Latest Updates
09 Sep 2025
Name:
Yuyang Zhao 赵雨扬
Zhao Yuyang 赵雨扬
Company:
BICMR 北京国际数学研究中心
CUHK-Shenzhen 香港中文大学（深圳）
Location:
Haidian, Beijing 北京海淀
{Futian, Longgang}, Shenzhen 深圳{福田, 龙岗}
Followers Count:
117
119
24 Aug 2025
Followers Count:
116
117
10 Aug 2025
Avatar:
changed
27 Jul 2025
Followers Count:
113
116
11 Jul 2025
Followers Count:
109
113
16 Jan 2025
First seen
Subscribe to astrainfinita's GitHub rank updates in your messenger
WhatsApp
Telegram
