Rankings
Badges
/
toku-sa-n
Rankings
Badges
Overview
Ranks
Repositories
Languages
Hiroki Tokunaga
@toku-sa-n
Refresh
Open GitHub
🇯🇵 Kanagawa, Japan
@DeNA
Profile age: about 7 years
Updated 6 days ago
28 followers • 2 following
Contacts
tokusan441@gmail.com
https://tokuchan3515.hatenablog.com/
in/hiroki-tokunaga-9a9aa0242
https://mixi.social/@toku_san
https://keybase.io/toku_san/
@_toku_san
Organizations
Profile Overview
Global
Japan
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Rank in Japan
Expert 2
Persona
Contributor
#4,637
#2,452
#7,788
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
ramen
Archived
43
5
updated over 1 year ago • age almost 6 years
Rust
98.2%
Makefile
1.8%
coqfmt
23
2
updated about 1 month ago • age over 2 years
OCaml
68.5%
Coq
30.6%
V
0.5%
Dune
0.4%
cpio_reader
6
2
updated 6 months ago • age over 4 years
Rust
100.0%
zsh-dot-up
5
1
4
updated 13 days ago • age about 1 year
Shell
100.0%
Krita-pen-pressure-adjuster
1
0
updated over 1 year ago • age over 1 year
Python
100.0%
View all 32 repositories
Last Contributions
2025
hindent
2 PRs
+63
-55
Haskell
572
114
10
PacketProxy
2 PRs
+67
-30
Java
460
40
21
2024
hindent
~69 PRs
+17
-21
Haskell
572
114
10
PacketProxy
1 PR
+1
-0
Java
460
40
21
vscode-gettext
2 PRs
+804
-387
TypeScript
23
11
6
View all contributions
Latest Updates
25 Sep 2025
Followers Count:
29
28
30 Jun 2025
Social Accounts:
linkedin: in/hiroki-tokunaga-9a9aa0242; generic: https://mixi.social/@toku_san; generic: https://keybase.io/toku_san/
linkedin: in/hiroki-tokunaga-9a9aa0242; generic: https://mixi.social/@toku_san; generic: https://keybase.io/toku_san/; twitter: @_toku_san
14 May 2025
Website Url:
https://keybase.io/toku_san/
https://tokuchan3515.hatenablog.com/
Social Accounts:
linkedin: in/hiroki-tokunaga-9a9aa0242; generic: https://mixi.social/@toku_san
linkedin: in/hiroki-tokunaga-9a9aa0242; generic: https://mixi.social/@toku_san; generic: https://keybase.io/toku_san/
06 Jan 2025
First seen
Subscribe to toku-sa-n's GitHub rank updates in your messenger
WhatsApp
Telegram
