Li Xuanji

@ldct

Open GitHub

🇨🇦 Toronto

Profile age: about 16 years

Updated 2 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,039

#8,591

#53,817

Explore Ranks

Top 3 Languages By Stars

All Languages

Top 5 Repositories

isicp

1,157

161

updated over 5 years ago • age about 14 years

HTML99.0%

JavaScript0.7%

CSS0.3%

Python0.1%

python-drums

updated about 14 years ago • age about 14 years

Python100.0%

yamd

updated about 8 years ago • age almost 10 years

JavaScript91.5%

Assembly5.9%

HTML2.5%

options

updated over 7 years ago • age almost 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,491
672
91
analysis
~35 PRs +19-12
Lean
1,196
153
compfiles
2 PRs +85-0
Lean
196
42
sequencelib
2 PRs +113-0
Lean
15
2
LeanTeX-mathlib
2 PRs +105-1
Lean
6
2

View all contributions

Latest Updates

02 Oct 2025
Followers Count:195 196
06 Aug 2025
Followers Count:193 195
23 Jul 2025
Followers Count:192 193
02 Jan 2025
First seen

Subscribe to ldct's GitHub rank updates in your messenger

WhatsApp Telegram