Rankings
Badges
/
unaoya
Rankings
Badges
Overview
Ranks
Repositories
Languages
Naoya Umezaki
@unaoya
Refresh
Open GitHub
🇯🇵 Tokyo
Profile age: almost 9 years
Updated 4 days ago
21 followers • 0 following
Contacts
umezakinaoya@gmail.com
https://unaoya.github.io
https://umezakinaoya.com/
Profile Overview
Global
Japan
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Rank in Japan
Adept 2
Persona
Influencer
#9,687
#23,253
#10,054
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
math_pdf
17
0
updated over 4 years ago • age almost 8 years
TeX
99.7%
Makefile
0.3%
sou-ken-topos
2
2
updated over 7 years ago • age over 7 years
Coq
100.0%
Last Contributions
2025
ProjectVD
1 PR
+349
-606
Lean
5
1
2021
zenn-contents
2 PRs
+204
-1
6
11
View all contributions
Latest Updates
27 Oct 2025
Followers Count:
22
21
26 Jul 2025
Followers Count:
21
22
01 May 2025
Social Accounts:
[object Object]
generic: https://umezakinaoya.com/
19 Jan 2025
First seen
Subscribe to unaoya's GitHub rank updates in your messenger
WhatsApp
Telegram
