Rankings
Badges
/
kokic
Rankings
Badges
Overview
Ranks
Repositories
Languages
kokic
@kokic
Refresh
Open GitHub
🇨🇳 Beijing, China
@San-Angeles @the-red-pixel
Profile age: about 9 years
Updated 13 days ago
128 followers • 138 following
Contacts
kokicplus@gmail.com
kokic.github.io
@kokic@mathstodon.xyz
https://www.zhihu.com/people/kokic-86
Organizations
Profile Overview
Global
China
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Master 3
Persona
Influencer
#185,134
#1,145,003
#90,379
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
kodama
122
7
21
updated 4 days ago • age 10 months
Rust
92.5%
CSS
4.6%
HTML
1.5%
Typst
1.4%
UniTeX
20
4
3
updated 4 months ago • age almost 3 years
TypeScript
79.6%
HTML
11.6%
CSS
4.9%
JavaScript
3.9%
Last Contributions
2025
Community-Blog
1 PR
+2
-2
Python
7
14
2024
jixia
1 PR
+61
-1
Lean
97
5
2023
translated-content
1 PR
+1
-1
Markdown
1,895
8,303
NineNineTable
3 PRs
+77
-7
Python
40
57
theorem_proving_in_lean4_zh_CN
1 PR
+5
-5
HTML
34
0
View all contributions
Latest Updates
11 Oct 2025
Followers Count:
129
128
26 Sep 2025
Followers Count:
127
129
11 Sep 2025
Followers Count:
126
127
26 Aug 2025
Followers Count:
124
126
12 Aug 2025
Followers Count:
123
124
17 Jan 2025
First seen
Subscribe to kokic's GitHub rank updates in your messenger
WhatsApp
Telegram
