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
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%
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
2024
jolt
3 PRs
+1,819
-413
Rust
838
256
6
batteries
1 PR
+208
-1
Lean
333
126
29
