Rankings
Badges
/
minchaowu
Rankings
Badges
Overview
Ranks
Repositories
Languages
Minchao Wu
@minchaowu
Refresh
Open GitHub
🇦🇺 Canberra, ACT
Australian National University
Profile age: about 9 years
Updated 13 days ago
10 followers • 5 following
Contacts
minchaowu.github.io/
Profile Overview
Global
Australia
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Adept 3
Persona
Contributor
#643,684
#1,105,719
#1,267,533
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
ModalTab
12
2
updated over 5 years ago • age about 7 years
Lean
100.0%
mm-lean
8
4
updated about 5 years ago • age over 8 years
Mathematica
97.9%
Lean
2.1%
mathematica
0
0
updated about 8 years ago • age about 8 years
Lean
62.1%
Mathematica
33.8%
Objective-C
2.3%
Python
1.8%
Last Contributions
2019
mathlib3
2 PRs
+7
-1
Lean
1,668
292
HOL
2 PRs
+1,153
-2
Standard ML
694
159
8
2018
mathlib3
~6 PRs
+39
-2
Lean
1,668
292
lean-tidy
1 PR
+19
-20
Lean
8
5
2017
mathlib3
1 PR
+258
-0
Lean
1,668
292
View all contributions
Latest Updates
23 Jul 2025
Followers Count:
9
10
09 Jul 2025
Followers Count:
8
9
10 Jan 2025
First seen
Subscribe to minchaowu's GitHub rank updates in your messenger
WhatsApp
Telegram
