Share :

akawashiro

Akira Kawata

@akawashiro

Kyoto, Japan 🇯🇵

Refresh user

Last updated : 07:51PM UTC, Jun 21st 2021

26 - Rank 284 335 🌍

Haskell

Ranking:

World: 2059 / 11059

Japan 🇯🇵: 65 / 352

Kyoto: 4 / 19

5 repositories

#2059
14

Coq

Ranking:

World: 291 / 737

Japan 🇯🇵: 13 / 36

Kyoto: 1 / 4

1 repository

#291
4

WebAssembly

Ranking:

World: 134 / 373

Japan 🇯🇵: 2 / 12

Kyoto: 1 / 1

1 repository

#134
3

C

Ranking:

World: 74290 / 151074

Japan 🇯🇵: 1558 / 2692

Kyoto: 126 / 248

1 repository

#74290
2

TeX

Ranking:

World: 8887 / 23502

Japan 🇯🇵: 162 / 374

Kyoto: 13 / 28

2 repositories

#8887
2

Go

Ranking:

World: 52283 / 78747

Japan 🇯🇵: 1946 / 2604

Kyoto: 159 / 216

1 repository

#52283
1