Rankings
Badges
/
quangvdao
Rankings
Badges
Overview
Ranks
Repositories
Languages
Quang Dao
@quangvdao
Refresh
Open GitHub
🇺🇸 Pittsburgh, PA
Profile age: about 9 years
Updated 9 days ago
57 followers • 35 following
Contacts
qvd@andrew.cmu.edu
https://quangvdao.github.io/
@QuangVDao
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Expert 1
Persona
Influencer
#663,094
#1,246,336
#232,001
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
ZKLib-deprecated
19
0
updated 9 months ago • age over 1 year
Lean
80.1%
HTML
10.9%
TeX
4.4%
JavaScript
3.3%
CSS
1.4%
hello-world
0
0
updated about 8 years ago • age almost 9 years
jolt
0
0
updated 11 months ago • age about 1 year
Rust
89.7%
Solidity
8.3%
Shell
2.0%
Last Contributions
2025
jolt
1 PR
+383
-1,562
Rust
838
256
6
batteries
2 PRs
+312
-17
Lean
333
126
29
iris-lean
1 PR
+148
-6
Lean
125
16
4
ArkLib
2 PRs
+961
-86
Lean
118
25
7
VCV-io
~23 PRs
+3,211
-1,136
Lean
47
6
8
View all contributions
Latest Updates
16 Oct 2025
Followers Count:
54
57
02 Oct 2025
Followers Count:
53
54
17 Sep 2025
Followers Count:
50
53
02 Sep 2025
Followers Count:
47
50
17 Aug 2025
Followers Count:
46
47
16 Jan 2025
First seen
Subscribe to quangvdao's GitHub rank updates in your messenger
WhatsApp
Telegram
