Rankings
Badges
/
robertzhidealx
Rankings
Badges
Overview
Ranks
Repositories
Languages
Robert Zhang
@robertzhidealx
Refresh
Open GitHub
🇺🇸 Austin, TX
UT Austin
Profile age: almost 6 years
Updated 2 days ago
38 followers • 26 following
Contacts
robertz@cs.utexas.edu
https://robertzhang.vercel.app
@0xrobertzhang
Organizations
Repositories
trade-ml
3
1
updated almost 4 years ago • age almost 4 years
Jupyter Notebook
89.3%
HTML
4.1%
ReScript
3.5%
OCaml
2.3%
CSS
0.9%
notest
1
0
updated almost 3 years ago • age over 3 years
JavaScript
99.0%
CSS
1.0%
phase-e
0
0
updated over 3 years ago • age over 3 years
PHP
72.0%
HTML
28.0%
db-phase-c
0
0
updated over 3 years ago • age over 3 years
JavaScript
100.0%
Contributions
2025
terminal-bench
2 PRs
+4,242
-4,561
Python
977
349
2023
bedrock2
1 PR
+10
-22
Rocq Prover
314
51
8
dde
~90 PRs
+2,923
-1,772
OCaml
5
0
1
2022
ucredit_frontend_typescript
~10 PRs
+33
-25
TypeScript
14
3
uCredit-API
1 PR
+1
-1
JavaScript
12
3
dde
~10 PRs
+212
-53
OCaml
5
0
1
medhacks.github.io
1 PR
+9,209
-28
JavaScript
2
0
2021
ucredit_frontend_typescript
~11 PRs
+2,208
-1,537
TypeScript
14
3
