Rankings
Badges
/
jjdishere
Rankings
Badges
Overview
Ranks
Repositories
Languages
Jiang Jiedong
@jjdishere
Refresh
Open GitHub
null
Profile age: over 3 years
Updated 9 days ago
24 followers • 6 following
Profile Overview
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Adept 5
Persona
Influencer
#448,004
#1,094,999
#592,197
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
EG
29
55
updated over 1 year ago • age about 2 years
Lean
95.8%
TeX
4.2%
mathlib4_stacks_project_field_new
5
7
updated 11 months ago • age about 1 year
Lean
99.9%
Shell
0.1%
Python
0.0%
TeX
0.0%
ASL
0.0%
neukirch
3
2
updated 10 months ago • age about 2 years
Lean
100.0%
DL
0
0
updated about 2 years ago • age about 2 years
learn_git
0
0
updated about 2 years ago • age about 2 years
View all 7 repositories
Last Contributions
2025
proetale
1 PR
+264
-2
Lean
0
2
2024
mathlib4
1 PR
+190
-59
Lean
2,379
802
coxeter
3 PRs
+629
-90
Lean
13
15
View all contributions
Latest Updates
07 Sep 2025
Followers Count:
22
24
09 Aug 2025
Followers Count:
23
22
25 Jul 2025
Followers Count:
22
23
17 Jan 2025
First seen
Subscribe to jjdishere's GitHub rank updates in your messenger
WhatsApp
Telegram
