Chou Kyuhei

@choukh

🇯🇵 Tokyo

Profile age: over 9 years

Updated 9 days ago

67 followers • 1 following

Coq

N/A

Tiers are available for rankings with over 100 profiles.

Language Score: 137

Position: 1 / 42

Agda

N/A

Tiers are available for rankings with over 100 profiles.

Language Score: 5

Position: 9 / 14

Makefile

Advanced 3

1 star
to reach Advanced 4

Position: 695 / 3.9K

Language Score: 4

Top 20% of all ranked profiles

This month change: ↓5