Rankings
Badges
/
kenichi-asai
Rankings
Badges
Overview
Ranks
Repositories
Languages
Kenichi Asai
@kenichi-asai
Refresh
Open GitHub
🇯🇵 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/
Profile Overview
Global
Japan
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Adept 3
Persona
Influencer
#780,015
#1,248,807
#773,863
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
Universe
14
4
updated almost 7 years ago • age almost 11 years
OCaml
98.6%
Makefile
1.4%
Last Contributions
2019
plfa.github.io
2 PRs
+3
-3
Agda
1,459
337
3
View all contributions
Latest Updates
20 Aug 2025
Followers Count:
17
18
06 Jan 2025
First seen
Subscribe to kenichi-asai's GitHub rank updates in your messenger
WhatsApp
Telegram
