Rankings
Badges
/
ctchou
Rankings
Badges
Overview
Ranks
Repositories
Languages
Ching-Tsun Chou
@ctchou
Refresh
Open GitHub
🇺🇸 SF Bay Area
Profile age: about 12 years
Updated 8 days ago
4 followers • 2 following
Contacts
chingtsun.chou@gmail.com
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Adept 2
Persona
Creator
#597,739
#1,817,571
N/A
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
AutomataTheory
12
1
updated 20 days ago • age 6 months
Lean
100.0%
xed_utils
6
0
updated 5 months ago • age about 1 year
Python
100.0%
dircifrar
5
0
updated 5 months ago • age over 6 years
Python
100.0%
Last Contributions
2025
cslib
2 PRs
+367
-1
Lean
139
24
LeanCamCombi
1 PR
+254
-0
Lean
60
14
5
View all contributions
Latest Updates
15 Aug 2025
Followers Count:
3
4
17 Jan 2025
First seen
Subscribe to ctchou's GitHub rank updates in your messenger
WhatsApp
Telegram
