Rankings
Badges
/
Yosuke-Ito-345
Rankings
Badges
Overview
Ranks
Repositories
Languages
Yosuke Ito
@Yosuke-Ito-345
Refresh
Open GitHub
🇯🇵 Tokyo, Japan
Sompo Himawari Life Insurance Inc.
Profile age: over 4 years
Updated 10 days ago
12 followers • 15 following
Contacts
glacier345@gmail.com
https://orcid.org/0000-0003-1558-2624
@glacier345
Profile Overview
Global
Japan
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Adept 2
Persona
Creator
#612,898
#1,638,759
#1,104,502
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
Actuary
22
3
8
updated 11 months ago • age over 4 years
Coq
100.0%
analysis
0
0
updated 10 months ago • age over 1 year
Coq
99.1%
Shell
0.5%
Makefile
0.2%
Nix
0.1%
Python
0.1%
Last Contributions
2025
analysis
2 PRs
+188
-35
Rocq Prover
228
61
48
2024
analysis
2 PRs
+126
-21
Rocq Prover
228
61
48
2023
opam
1 PR
+40
-0
OCaml
149
174
2022
opam
3 PRs
+120
-0
OCaml
149
174
View all contributions
Latest Updates
20 Oct 2025
Followers Count:
14
12
11 Aug 2025
Followers Count:
11
14
10 Jan 2025
First seen
Subscribe to Yosuke-Ito-345's GitHub rank updates in your messenger
WhatsApp
Telegram
