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

Sponsors

@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 @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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
@poormikey80-create
Mikayla P. poormikey80-create
Indie game dev dabbling in Godot and pixel art. Mostly jam entries that never ship. Poor in time, rich in ideas.

Austin, TX

@zlonast
Ilya Baryshnikov zlonast
Lover of formal specifications • Compiler developer • Linker enjoyer
@KenHoH
Swets KenHoH

Jakarata

@mmrahmanbappi
MM Rahman Bappi mmrahmanbappi
Technical SEO consultant and web developer, 15 years of experience

MMSEO Kushtia, Bangladesh

@sooxin
Sooxin sooxin
学不可以已~

China

@Leostrange
Leostrange Leostrange
An ordinary person who enjoys AI and vibe coding. I love generating music and lyrics. What a writer.
@ekiari
Ekiari ekiari
long rest...🚬

where

@huihui-hr
huihui_hr huihui-hr
DeepSeek北京/杭州招聘中，Wechat ID：huihui_hr

Pony.ai小马智行 →DeepSeek Beijing

@mmmmmmmmmmsc
mmmmmmmmmmsc
@PlarisanDev
PlarisanDev
@TranscranialAvenue
TranscranialAvenue
@AmirMotefaker
Amir Motefaker AmirMotefaker
Founder & product builder shipping Persian-first AI/SaaS products. TypeScript · Go · Python · Data/ML · Automation · Open Source.

@RestYar Iran

@kvbit
Jahangir Ahmad kvbit
𝙅𝙪𝙨𝙩 𝙖 𝙜𝙡𝙞𝙩𝙘𝙝 𝙞𝙣 𝙩𝙝𝙚 𝙈𝙖𝙩𝙧𝙞𝙭.

University of Kashmir Srinagar, J&K

@libairu2025-coder
BenLi libairu2025-coder

Yourcareer 中国深圳

@wyryyds
Sean wyryyds
Game Developer

Hunan University of Technology Hunan Province, China

@snowfloken
snowfloken
@beamiter
beamiter
I'm cool
@alxbnct
Yosef Weissmann alxbnct
@infinityabundance
riaan de beer🦀 infinityabundance
zic-rs - gnucobol-rs - ncurses-native - autotools-rs 🦀Under the C! Under the C! Compiler, it's safer, allocator's braver Statically!

Invariant Forge LLC Porto, Portugal

@MilleniumSpark
MilleniumSpark
@jonathan-kee
Jonathan Kee jonathan-kee
Amor Fati

Malaysia

@fpcMotif
fpcMotif
@ShubhamPatilas
ShubhamPatilas
Developer, Mentor, Speaker, Author @PacktPublishing

Building @dynopii Kolkata, India

@Dvurechensky
Dvurechensky Dvurechensky

International Center for Informatics and Electronics (ICIE) Moscow

@dangthanh0302
John Nguyen dangthanh0302

home ha noi

@X-joint
Roy Liao X-joint
HR @stepfun-ai Focus: AI Infra

stepfun-ai China

@zylzjy38-YY
张靖杨 zylzjy38-YY
cybersecurity trainee
@yohaneYuri
yuri yohaneYuri
Code is art, art is code

Guilin University of Electronic Techbology Guilin

@m74278803-cmyk
MAN m74278803-cmyk
Earn $20 in the stock of your choice when you join Public with my referral link. https://share.public.com/Martha44053
@LIshy2
Islam Talipov LIshy2

Moscow

@LambdaFiend
Lambda Fiend LambdaFiend
Computer Science student at the University of Porto. My current areas of interest are Type Theory, Compiler Design, PL. I'll be migrating to Codeberg soon.

Portugal

@gwenv4742
gwenv4742
@qr243vbi
qr243vbi
@el-ev
Iris Shi el-ev

Here

@trezoa-labs
Trezoa-Labs trezoa-labs
Building Trezoa — deterministic blockchain infrastructure for real money. Focused on validator reliability and post-quantum security.

Trezoa Labs Delaware, USA

@heap-s
heap-s heap-s
Malware/C2 Developer

127.0.0.1

@Cicada2Jx
yolo Cicada2Jx
@aikoryu
Aiko Ryu aikoryu
Hello, Aiko here! Welcome to my space! I am particularly interested in type theory, array programming languages, and provers.

Here

@segment-tree
segment-tree
@yushijinhun
Haowei Wen yushijinhun
@sushi-shi
sushi-shi

Gensokyo / Hiperborea

@garkeen
garkeen garkeen
Keep your curiosity, And question everything.
@LinBlink
LocrianV LinBlink
A programmer who has his own ways . 827650791@qq.com

StoneDT China

@steinerkelvin
Kelvin Steiner steinerkelvin
computer nerd · descentralization-ist · FOSS

Brasil

@NoughtQ
Ziyang Qian NoughtQ
Senior @zju, majoring in CS, now interning at miHoYo

Zhejiang University Shanghai, China

@Moxxkidd
Doma Moxxkidd

Columbus Ohio

@chefZau
Luca Zhou chefZau
Data Engineer @TDBANK

TD Bank Toronto

@eeoeqaq
eeoe eeoeqaq

Earth, Solar System

@HelenaCarva
Katarzyna Wojciechowska HelenaCarva
Software engineer with a passion for building secure and scalable systems. Focusing on cybersecurity and data engineering.

Vancouver, Canada

@inuEbisu
Keyu Zhu inuEbisu
And miles to go before I sleep

Zhejiang University Hangzhou, China