Josh Ko

@josh-hs-ko

Open GitHub

🇹🇼 Taipei, Taiwan

Institute of Information Science, Academia Sinica

Profile age: almost 13 years

Updated 5 days ago

43 followers • 0 following

Contacts

https://josh-hs-ko.github.io

Profile Overview

Global Taiwan

Rank in Taiwan

Advanced 2

Persona

Influencer

#2,892

#6,300

#1,432

Explore Ranks

Top 3 Languages By Stars

All Languages

Repositories

FLOLAC-14

updated over 11 years ago • age over 11 years

TeX56.7%

Agda43.3%

Thesis

updated over 8 years ago • age almost 13 years

Agda99.3%

Haskell0.7%

updated 7 months ago • age about 2 years

TeX55.2%

Haskell27.1%

Agda8.9%

BibTeX Style8.8%

Last Contributions

2014
FLOLAC-semantics
1 PR +12-14
TeX
9
2

View all contributions

Subscribe to josh-hs-ko's GitHub rank updates in your messenger

WhatsApp Telegram