Yuxin Li

@ShirleyLIYuxin

The Hong Kong University of Science and Technology Hong Kong

Followers

Following

Public Repos

Private Repos

Language Breakdown

Lines of code distribution across 6 owned repositories

1.4M Total LOC

Python

640,028 lines

44.7%

N/A

Lean

211,066 lines

14.7%

N/A

Java

172,495 lines

12.0%

N/A

JavaScript

134,495 lines

9.4%

N/A

HTML

79,792 lines

5.6%

N/A

Other

194,746 lines

13.6%

N/A

T-Shaped Developer

T-shaped

Deep in Python with broad versatility

Python

Lean

Java

JavaScript

HTML

Collaboration Network

Global Impact visualization

LIVE

0 active collaborators

Repos

PRs

Growth

+18%

Top Collaborators

No collaborator data yet.

Coding Streak

Contribution activity over the past year

2 days

106

Contributions

Commits

Pull Requests

Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun

Based on GitHub activity

Less

Followers 7

Nho Luong

@nholuongut

TianlingXu

@TianlingXu

Cogito Ergo Sum

@standardgalactic

LIU Minghao Mark

@mliuby

Flandia

@FlandiaYingman

View All

Following

14 total

Austin Letson

@austinletson

Yu Sun

@yueatsprograms

test-time-training

@test-time-training

TianlingXu

@TianlingXu

Zheng Yuan

@GanjinZero

View All Network

Synced via GitHub

Top Repositories

Lean4PHYS

[ICLR 2026] Lean4Physics: Comprehensive Reasoning Framework for College-level Physics in Lean4

The Tool Decathlon: Benchmarking Language Agents for Diverse, Realistic, and Long-Horizon Task Execution

0 0

Python

AI-norms_preference

Spontaenous emergence of conventions in populations of LLMs

0 0

Python

DataStructure

Projects and labs used in ucb-cs61bl and hkust-comp2012

0 0

Java

ShirleyLIYuxin.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

0 0

JavaScript

Open Source Impact

Contributions to external projects

4 merged PRs

No external contributions found.