Badges

Hand-coded with love, bugs, and dreams bybrought to you by @maslianok

/kenichi-asai

Badges

Overview
Ranks
Repositories
Languages

Kenichi Asai

@kenichi-asai

🇯🇵 Tokyo, Japan

Ochanomizu University

Profile age: over 11 years

Updated 7 days ago

18 followers • 0 following

Contacts

asai@is.ocha.ac.jp

http://pllab.is.ocha.ac.jp/~asai/

Repositories

14

4

updated almost 7 years ago • age almost 11 years

OCaml98.6%

Makefile1.4%

Contributions

2019
plfa.github.io
2 PRs +3-3
Agda
1,459
337
3