Li Xuanji

@ldct

Open GitHub

🇨🇦 Toronto

Profile age: about 16 years

Updated 5 days ago

196 followers • 12 following

Contacts

xuanji@gmail.com

http://www.xuanji.li

Organizations

Profile Overview

Global Canada

Global Rank

Legend 2

Persona

Contributor

#30,500

#8,921

#54,684

Explore Ranks

Top 3 Languages By Stars

All Languages

Top 5 Repositories

isicp

1,158

161

updated almost 6 years ago • age about 14 years

HTML99.0%

JavaScript0.7%

CSS0.3%

Python0.1%

python-drums

updated over 14 years ago • age over 14 years

Python100.0%

yamd

updated about 8 years ago • age about 10 years

JavaScript91.5%

Assembly5.9%

HTML2.5%

options

updated almost 8 years ago • age about 8 years

JavaScript93.5%

CSS4.6%

HTML1.9%

klee-nush

updated over 14 years ago • age over 15 years

C++53.3%

C35.2%

Shell9.6%

Python1.8%

Perl0.1%

View all 18 repositories

Last Contributions

2025
lean4
1 PR +1-1
Lean
6,712
691
94
analysis
2 PRs +12-10
Lean
1,297
176
compfiles
2 PRs +85-0
Lean
205
47
sequencelib
2 PRs +113-0
Lean
15
3
LeanTeX-mathlib
2 PRs +105-1
Lean
6
2

View all contributions

Latest Updates

13 Nov 2025
Followers Count:195 196
30 Oct 2025
Followers Count:196 195
02 Oct 2025
Followers Count:195 196
06 Aug 2025
Followers Count:193 195
02 Jan 2025
First seen

Subscribe to ldct's GitHub rank updates in your messenger

WhatsApp Telegram