Rankings
Badges
/
yoshihiro503
Rankings
Badges
Overview
Ranks
Repositories
Languages
YOSHIHIRO Imai
@yoshihiro503
Refresh
Open GitHub
🇯🇵 Chiba, Japan
@proof-ninja, Inc
Profile age: almost 16 years
Updated 12 days ago
93 followers • 47 following
Contacts
y.imai@proof-ninja.co.jp
https://yoshihiro503.github.io/
Organizations
Profile Overview
Global
Japan
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Expert 5
Persona
Influencer
#215,147
#790,235
#131,128
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
ocamltter
75
8
updated about 7 years ago • age over 15 years
OCaml
91.6%
Coq
6.8%
Makefile
1.3%
Shell
0.4%
generaltan
23
1
updated over 9 years ago • age about 13 years
rocq-amidakuji
8
0
updated 4 months ago • age 8 months
Rocq Prover
100.0%
aobench_haxe
4
0
updated over 13 years ago • age over 13 years
Haxe
100.0%
coq2html
2
1
updated 9 months ago • age about 2 years
OCaml
88.1%
CSS
4.8%
Shell
2.8%
Makefile
2.4%
Roff
2.0%
View all 10 repositories
Last Contributions
2025
analysis
~6 PRs
+115
-98
Rocq Prover
228
61
48
coq-elpi
1 PR
+2
-0
Rocq Prover
177
67
66
opam
3 PRs
+121
-0
OCaml
149
174
platform-docs
3 PRs
+6
-6
Rocq Prover
23
17
coq2html
2 PRs
+126
-120
OCaml
1
3
View all contributions
Latest Updates
18 Oct 2025
Followers Count:
94
93
20 Sep 2025
Followers Count:
93
94
22 Aug 2025
Followers Count:
95
93
10 Jul 2025
Followers Count:
94
95
05 Jan 2025
First seen
Subscribe to yoshihiro503's GitHub rank updates in your messenger
WhatsApp
Telegram
