/tmiya

Takashi Miyamoto

@tmiya

Open GitHub

🇯🇵 Tokyo, Japan

Profile age: about 14 years

Updated 13 days ago

4 followers • 0 following

Contacts

http://study-func-prog.blogspot.com/

Organizations

Profile Overview

Global Japan

Rank in Japan

Beginner 3

Persona

Creator

#13,155

N/A

Explore Ranks

Top 3 Languages By Stars

All Languages

Repositories

coq

8

2

updated over 11 years ago • age almost 14 years

Coq59.5%

TeX40.5%

Subscribe to tmiya's GitHub rank updates in your messenger

WhatsApp Telegram