Rankings
Badges
/
YouyouCong
Rankings
Badges
Overview
Ranks
Repositories
Languages
Youyou Cong
@YouyouCong
Refresh
Open GitHub
🇯🇵 Tokyo, Japan
Institute of Science Tokyo
Profile age: over 9 years
Updated 3 days ago
73 followers • 0 following
Contacts
cong@c.titech.ac.jp
http://prg.is.titech.ac.jp/people/cong
@yuyuchazuke
Repositories
ppl-summer-school-2022
25
1
updated about 3 years ago • age about 3 years
OCaml
100.0%
type-preserving-cps
19
1
updated over 8 years ago • age almost 9 years
Agda
100.0%
counterpoint
11
2
updated over 2 years ago • age over 4 years
Agda
100.0%
pplss-2025
9
0
updated about 2 months ago • age 3 months
Agda
100.0%
control
6
0
updated almost 5 years ago • age almost 5 years
Agda
100.0%
Contributions
2025
programming-journal.github.io
1 PR
+87
-0
HTML
8
10
2022
women-in-programming-languages-research
1 PR
+1
-0
173
69
