kokic

@kokic

Open GitHub

🇨🇳 Beijing, China

@San-Angeles @the-red-pixel

Profile age: about 9 years

Updated 14 days ago

128 followers • 138 following

Contacts

kokicplus@gmail.com

kokic.github.io

@kokic@mathstodon.xyz

https://www.zhihu.com/people/kokic-86

Organizations

Repositories

kodama

122

updated 4 days ago • age 10 months

Rust92.5%

CSS4.6%

HTML1.5%

Typst1.4%

UniTeX

updated 4 months ago • age almost 3 years

TypeScript79.6%

HTML11.6%

CSS4.9%

JavaScript3.9%

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
bicmr-ai4math.github.io
1 PR +401-33
TypeScript
9
1