Josh Ko

@josh-hs-ko

🇹🇼 Taipei, Taiwan

Institute of Information Science, Academia Sinica

Profile age: almost 13 years

Updated 5 days ago

43 followers • 0 following

Agda

N/A

Tiers are available for rankings with over 100 profiles.

Language Score: 11

Position: 3 / 7

TeX

Advanced 4

2 stars
to reach Advanced 5

Position: 41 / 218

Language Score: 6

Top 20% of all ranked profiles

This month change: ↓3

Haskell

N/A

Tiers are available for rankings with over 100 profiles.

Language Score: 1

Position: 18 / 29