Chou Kyuhei

@choukh

🇯🇵 Tokyo

Profile age: over 9 years

Updated 9 days ago

67 followers • 1 following

Coq

Legend 1

26 stars
to reach Legend 2

Position: 14 / 1.4K

Language Score: 137

Top 1% of all ranked profiles

Agda

Beginner 5

2 stars
to reach Adept 1

Position: 265 / 457

Language Score: 5

Makefile

Advanced 4

1 star
to reach Advanced 5

Position: 23,885 / 143.9K

Language Score: 4

Top 20% of all ranked profiles

This month change: ↓228