Rankings
Badges
/
Some-random
Rankings
Badges
Overview
Ranks
Repositories
Languages
Dongwei Jiang
@Some-random
Refresh
Open GitHub
🇺🇸 Baltimore
Profile age: over 10 years
Updated 14 days ago
47 followers • 12 following
Contacts
jiangdongwei.com
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Advanced 5
Persona
Contributor
#611,299
#355,040
#288,660
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
theorem-proving-reasoning
22
3
updated over 1 year ago • age over 2 years
Lean
97.9%
Python
2.1%
Last Contributions
2025
open-r1
2 PRs
+54
-3
Python
25,546
2,397
2023
espnet
2 PRs
+694
-4
Python
9,517
2,333
57
ircot
1 PR
+1
-1
Jsonnet
236
32
2021
athena
2 PRs
+2
-2
C++
962
201
2020
athena
~56 PRs
+414
-13
C++
962
201
View all contributions
Latest Updates
11 Oct 2025
Followers Count:
48
47
28 Aug 2025
Followers Count:
47
48
14 Aug 2025
Followers Count:
46
47
10 Jan 2025
First seen
Subscribe to Some-random's GitHub rank updates in your messenger
WhatsApp
Telegram
