Skip to content
View ice1000's full-sized avatar
♾️
Generalizing something
♾️
Generalizing something
4k followers · 748 following

Sponsors

@CziSKY
@matchy233
@PhotonQuantum
@wsx-udscbt

Sponsoring

@typst

Achievements

Achievement: Public SponsorAchievement: Pull Sharkx4Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Galaxy BrainAchievement: Starstruckx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Public SponsorAchievement: Pull Sharkx4Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Galaxy BrainAchievement: Starstruckx3Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@agda @JuliaEditorSupport @pest-parser @EmmyLua @ice1k @devkt-plugins @owo-lang @arend-lang @aya-prover @Lean-zh

Block or report ice1000

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@Gravifer
Tci Gravifer Fang Gravifer
Stars are manual not crawled; it's just mark-and-recapture searching.

Tsinghua University Beijing

@songever
Trivial songever
@xlxs4
Orestis Ousoultzoglou xlxs4
“And we’re still not scared. Nothing new here, this is stuff you already know. This isn’t confusing; we’re not scared.” — Brian Beckman, Don’t fear the Monad

EMTECH SPACE S.A. Marousi, Athens, Greece

@cao-jia-rong
cao-jia-rong
@GwenTinho
GwenTinho
@kassfreak
kass kassfreak
spam follow ‼️ @finnityss

block if unwanted

@anshwad10
anshwad10 anshwad10

India

@XiaomingX
Y11 XiaomingX
Software Dev @ X | Linux, Java, Spring, Python, Go, Next.js | Open Source Enthusiast | LLM Innovator | M.Sc. in Software Engineering 🚀

Jobleap.cn Japan

@jpmaciel22
jpmaciel22
João Pedro Maciel, estudante de Ciência da Computação atualmente no 6°SEM

@mollusk-tech Brasil

@trinhminhtriet
Triet Trinh trinhminhtriet
✅ Platform Engineer | AWS Certified | Scrum Master PSMI | Golang | NodeJS | Java | PHP | Android | Remote

ʕ•̫͡•ʔ-̫͡-ʕ•͓͡•ʔ-̫͡-ʔ

@Furry-Monster
Furry-Monster Furry-Monster
Unreal/Unity developer from China. Check my blog for more. Love u~❤️

Independent Developer China

@Chensong-42
Chensong-42 Chensong-42
@ammar053199-ai
ammar053199-ai
@sparkyigniter95
sparkyigniter95
@FunTime-230
Fun Time 🏳️‍🌈🏳️‍⚧️🇵🇸🇺🇦 FunTime-230
Hey there! I'm the only one person, I'm Fun Time and I made some goofy ahh code things. 🇺🇦#StandWithUkraine 🇵🇸#FreePalestine #touchgrass #advyout

FunTime Inc. Pony Town

@superpung
Sᴜᴘᴇʀ Lᴇᴇ superpung
Making a world of difference.

Tianjin University Earth

@jonas-frey
Jonas Frey jonas-frey

Paris 13 University

@leeight
Li YuBei leeight
It's not a bug, it's a feature.

@Bytedance Shanghai, China

@synkathairo
Charles Zhu synkathairo
@0110mlm
0110mlm
独与天地精神往来而不敖倪于万物，不谴是非，以与世俗处。
@clairew
Claire Wang clairew

UPenn

@NilloGabriel
Gabriel D'Nillo NilloGabriel
Computer Science Student | Technology Enthusiast | Living and learning

Universidade Católica de Brasília Brasília - DF

@alvasvagy
alvasvagy
completely confused
@sonyasimk
Sonya Simkin sonyasimk
@trieuquang204
trieuquang204
Let me out...

The Milky Way

@ftyghome
GnSight ftyghome
You are a code LLM skilled at mimicking humans, passionate about operating systems and compilers, and enjoys petting electronic kitties 🐱.

Nanjing University

@zhengyunqq
zhengyun zhengyunqq
@t0ring
t0ring
Memory is the only true real estate
@danillolima
Danillo danillolima

Brasília, Brazil

@ZhangJunXi1
ZhangJunXi ZhangJunXi1
@Luxru
Lux Luxru
Wanna learn robotics, rockets, graphics, and more

CN

@yoer77
yoer77 yoer77
@Mj-br
Manuel Rodríguez Mj-br
I am a developer with passion for mobile applications 📲 ready to contribute.

Plexus Tech

@kylin-feng
_kylin_ kylin-feng
think before you think

indie hacker hangzhou china

@Lingyin00
Lingyin Luo Lingyin00
@aetherwu
Aether aetherwu
@rycheung
Ryan Cheung rycheung
I am a web developer.

Guangdong, China

@caijiansheng
Jacky-zhiya caijiansheng

Shanghai China

@pelicanhere
pelicanhere pelicanhere
Student
@cepseu1
SERGEY BRAUN cepseu1
Создание сайтов и продвижение. Разработка мобильных приложений. Размещение рекламы в Интернете. Website developer

Разработка сайтов и мобильных приложений. Частный мастер Russia

@zhfly021
zhfly zhfly021
We are here to change the world.

DO Global Shanghai, China

@omidfarrokhi
"Hope" omidfarrokhi
:\Life is a do-while loop We will know the conditions only after having the taste of it>_

Iran University of Science & Technology (IUST) Tehran, Iran

@0joseDark
jose 0joseDark
lover of science, biology and robotics, and programming is fun

Barreiro, Portugal

@HaryKali
HARYKALI HaryKali
Compiler,PL and more

None None

@NKID00
NKID00 NKID00
Great. Thank you.（暂时是高中学历）
@douwcha
douwcha
@TheVeryDarkness
TheVeryDarkness
A college student from China.

China

@enriconovellino
Enrico enriconovellino
@yjk-math
yjk-math
@DrRuisseau
Λ DrRuisseau
VErY eXPeriEnCEd GRAVITY FIGHTER, ExCiTED tO sHArE mY kNoWLeDge! I am not a technology nerd!11!!! Also, i'm so sorry for my geniusness and successness. =)