Share :

mekty2012

TaeYoung Kim

@mekty2012

Daejeon 🇰🇷

Refresh user

Last updated : 05:46PM UTC, Jul 14th 2021

10 - Rank 492 352 🌍

Coq

Ranking:

World: 318 / 737

Korea (Republic of) 🇰🇷: 1 / 5

Daejeon: 1 / 2

2 repositories

#318
3

Jupyter Notebook

Ranking:

World: 37607 / 121062

Korea (Republic of) 🇰🇷: 662 / 1804

Daejeon: 22 / 65

3 repositories

#37607
3

Clojure

Ranking:

World: 6078 / 7373

Korea (Republic of) 🇰🇷: 33 / 44

Daejeon: 1 / 1

1 repository

#6078
1

Kotlin

Ranking:

World: 23217 / 33498

Korea (Republic of) 🇰🇷: 520 / 681

Daejeon: 12 / 14

1 repository

#23217
1

Python

Ranking:

World: 339745 / 483868

Korea (Republic of) 🇰🇷: 3519 / 4733

Daejeon: 129 / 164

1 repository

#339745
1

TeX

Ranking:

World: 17014 / 23502

Korea (Republic of) 🇰🇷: 80 / 110

Daejeon: 9 / 12

1 repository

#17014
1