Chou Kyuhei

@choukh

Open GitHub

🇯🇵 Tokyo

Profile age: over 9 years

Updated 8 days ago

67 followers • 1 following

Contacts

choukyuhei@gmail.com

Profile Overview

Global Japan

Global Rank

Expert 3

Persona

Influencer

#185,845

#1,477,991

#193,830

Explore Ranks

Top 3 Languages By Stars

All Languages

Repositories

Set-Theory

updated about 4 years ago • age over 5 years

Coq99.9%

Makefile0.1%

Baby-Set-Theory

updated almost 4 years ago • age about 4 years

Coq99.6%

Makefile0.4%

CategoryTheory

updated about 3 years ago • age about 3 years

Coq97.4%

Makefile2.6%

MetaZF

updated about 3 years ago • age over 3 years

Coq99.1%

Makefile0.9%

agda-veblen

updated over 1 year ago • age about 3 years

Agda100.0%

Last Contributions

2023
cubical
1 PR +2-2
Agda
509
156
8
2022
agda-mode-vscode
1 PR +9-0
ReScript
179
45

View all contributions

Latest Updates

22 Oct 2025
Followers Count:66 67
05 Aug 2025
Followers Count:65 66
26 Jan 2025
First seen

Subscribe to choukh's GitHub rank updates in your messenger

WhatsApp Telegram