Rankings
Badges
/
liyishuai
Rankings
Badges
Overview
Ranks
Repositories
Languages
Yishuai Li
@liyishuai
Refresh
Open GitHub
🇨🇳 Shanghai Xuhui
Profile age: over 11 years
Updated 3 days ago
250 followers • 164 following
Contacts
liyishuai.lys@alibaba-inc.com
https://scholar.google.com/citations?user=-GAtTucAAAAJ
@YishuaiLi
Organizations
Profile Overview
Global
China
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Legend 3
Persona
Contributor
#440,945
#2,232
#41,061
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
coq-http
16
2
updated about 2 months ago • age over 5 years
Rocq Prover
78.3%
Makefile
21.7%
coq-parsec
5
2
updated 12 months ago • age about 5 years
Coq
100.0%
kejihanyu
5
0
updated over 5 years ago • age over 6 years
coq-http2
4
0
updated almost 7 years ago • age over 7 years
Coq
99.5%
Makefile
0.5%
cps
3
0
updated almost 9 years ago • age almost 9 years
Coq
99.6%
Makefile
0.4%
View all 15 repositories
Last Contributions
2025
gitignore
1 PR
+1
-0
170,667
82,997
RSSHub
1 PR
+1
-1
TypeScript
39,749
8,713
lo
1 PR
+18
-39
Go
20,581
911
62
cpr
1 PR
+75
-76
C++
7,197
1,021
36
opam-repository
~11 PRs
+7
-4
557
1,209
View all contributions
Latest Updates
14 Nov 2025
Company:
@Aliyun (removed)
Followers Count:
251
250
17 Oct 2025
Followers Count:
253
251
03 Oct 2025
Followers Count:
252
253
22 Aug 2025
Followers Count:
253
252
08 Aug 2025
Followers Count:
252
253
06 Jan 2025
First seen
Subscribe to liyishuai's GitHub rank updates in your messenger
WhatsApp
Telegram
