Rankings
Badges
/
B04902047
Rankings
Badges
Overview
Ranks
Repositories
Languages
Y. C. Zhang
@B04902047
Refresh
Open GitHub
🇹🇼 Taipei, Taiwan (R.O.C.)
Profile age: over 9 years
Updated 14 days ago
4 followers • 4 following
Contacts
b04902047@csie.ntu.edu.tw
Repositories
agda-math
8
0
updated almost 6 years ago • age over 6 years
Agda
100.0%
gcl-vscode
0
0
updated about 1 year ago • age over 1 year
TypeScript
94.8%
HTML
5.2%
Contributions
2024
gcl
2 PRs
+3,169
-3,382
Haskell
13
5
66
