Loading...
LI
Yishuai Li
@liyishuaiPhD'22 @plclub @DeepSpec; Mentor @SIGPLAN -M; Maintainer @rocq-community @ocaml-community; Editor @Coq-zh; Contributor @rocq-prover.
253 Followers
164 Following
AI Insights & Achievements
40/ 100
Veteran
Coding for 12 years.
Profile README
Public Repos
146
Total Stars
46
Total Forks
18
Public Gists
4
Top Languages
Based on primary language of repositories
Recent Activity
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
High productivity periods
Most active day: January 18th, 2026 • 43 contributions
Most active week: Jan 12–Jan 18 • 89 contributions
Most active month: Jan 2026 • 149 contributions
PullRequestReviewEvent on tikv/pd
February 6th, 2026 6:25 AM
PullRequestReviewEvent on tikv/pd
February 6th, 2026 2:51 AM
PullRequestReviewCommentEvent on tikv/pd
February 6th, 2026 2:51 AM
Pushed to master at liyishuai/RSSHub
February 3rd, 2026 9:06 AM
Forked DIYgod/RSSHub
February 3rd, 2026 8:52 AM
IssueCommentEvent on rocq-community/manifesto
February 3rd, 2026 8:14 AM
closed issue in rocq-community/manifesto
February 3rd, 2026 8:14 AM
PullRequestReviewEvent on tikv/pd
February 3rd, 2026 8:11 AM
DeleteEvent on liyishuai/opam
February 3rd, 2026 8:06 AM
Pushed to main at liyishuai/Mortal
January 30th, 2026 1:19 PM