Badges

Hand-coded with love, bugs, and dreams bybrought to you by @maslianok

/yoshihiro503

Badges

Overview
Ranks
Repositories
Languages

YOSHIHIRO Imai

@yoshihiro503

🇯🇵 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

Language Ranks Breakdown

OCaml

Expert 3

2 stars
to reach Expert 4

Position: 287 / 3.4K

Language Score: 73

Top 9% of all ranked profiles

This month change: ↓2

Rocq Prover

Adept 5

2 stars
to reach Advanced 1

Position: 42 / 121

Language Score: 8

Top 40% of all ranked profiles

This month change: ↓9

Coq

Advanced 1

1 star
to reach Advanced 2

Position: 331 / 1.4K

Language Score: 6

Top 30% of all ranked profiles

This month change: ↓3

Haxe

Beginner 4

2 stars
to reach Beginner 5

Position: 954 / 1.5K

Language Score: 4

This month change: ↓15

Makefile

Adept 5

1 star
to reach Advanced 1

Position: 37,373 / 143.9K

Language Score: 2

Top 30% of all ranked profiles

This month change: ↓298

Shell

Adept 3

2 stars
to reach Adept 4

Position: 126,610 / 336.8K

Language Score: 2

Top 40% of all ranked profiles

This month change: ↓1,414

CSS

Adept 5

2 stars
to reach Advanced 1

Position: 148,172 / 518.6K

Language Score: 2

Top 30% of all ranked profiles

This month change: ↓1,435

Verilog

Beginner 3

1 star
to reach Beginner 4

Position: 5,885 / 8.2K

Language Score: 1

This month change: ↓80

Roff

Adept 1

1 star
to reach Adept 2

Position: 6,711 / 14.3K

Language Score: 1

Top 50% of all ranked profiles

This month change: ↓36