Share :

kino3

Kinoshita Shuji

@kino3

Oiso, Kanagawa, Japan 🇯🇵

Refresh user

Last updated : 11:40AM UTC, Jul 13th 2021

37 - Rank 231 087 🌍

Haskell

Ranking:

World: 1345 / 11059

Japan 🇯🇵: 46 / 352

Oiso: 1 / 1

1 repository

#1345
30

Agda

Ranking:

World: 159 / 349

Japan 🇯🇵: 6 / 11

Oiso: 1 / 1

1 repository

#159
5

Module Management System

Ranking:

World: 1 / 7

Japan 🇯🇵: 1 / 1

Oiso: 1 / 1

1 repository

#1
2