Tesla Zhang‮

@ice1000

Open GitHub

Pennsylvania, Gensokyo

@plctlab

Profile age: almost 10 years

Updated 7 days ago

4,043 followers • 755 following

Contacts

ice1000kotlin@foxmail.com

https://ice1000.org

Organizations

Profile Overview

Global Rank

Legend 3

Persona

Influencer

#16,374

#32,374

#1,130

Explore Ranks

Top 3 Languages By Stars

All Languages

Top 5 Repositories

resume

790

184

updated 9 months ago • age over 8 years

Typst94.3%

TeX5.7%

jimgui

192

updated almost 2 years ago • age over 7 years

Java41.7%

Kotlin26.2%

C++20.7%

CMake9.1%

C2.3%

A8Translate

161

updated almost 2 years ago • age over 8 years

Kotlin83.4%

Java16.6%

Books

139

updated over 2 years ago • age about 7 years

Agda100.0%

intellij-zig

116

updated over 2 years ago • age over 7 years

Kotlin77.9%

Zig12.9%

Lex4.5%

Java2.8%

HTML1.9%

View all 33 repositories

Last Contributions

2025
PLCT-Weekly
3 PRs +85-0
HTML
643
113
aya-dev
~64 PRs +389-181
Java
337
23
1
vulkan4j
~9 PRs +17-3
Kotlin
68
7
10
3N112
1 PR +166-0
Java
10
1
LAgnoLR
1 PR +2-2
Rocq Prover
1
0

View all contributions

Latest Updates

13 Nov 2025
Followers Count:4,039 4,043
29 Oct 2025
Followers Count:4,040 4,039
15 Oct 2025
Followers Count:4,036 4,040
01 Oct 2025
Followers Count:4,033 4,036
17 Sep 2025
Followers Count:4,026 4,033
05 Jan 2025
First seen

Subscribe to ice1000's GitHub rank updates in your messenger

WhatsApp Telegram