Skip to content
View ice1000's full-sized avatar
โ™พ๏ธ
Generalizing something
โ™พ๏ธ
Generalizing something
4.1k followers · 756 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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
@jyoewf
jyoewf
@soumyargithub
Soumya Ranjan Behera soumyargithub
Tech enthusiast | Curious learner Passionate about technology, coding, and how digital platforms work. Exploring, learning, & growing every day.

Bengaluru, India

@COUNTRY-HUMANS
โŽฏ EVELEEN.โ €โญ COUNTRY-HUMANS
SPAM FOLLOWER๐Ÿ”†block if unwanted! @Ozrenlem im their nemesis๐Ÿ˜ˆ MINOR, profile might look wonky on mobile. sorry if theres a weirdo in my following.

โœฆ ยท โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€ ยท ๐ŸŒŸ ยท โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€ ยท โœฆ โ €โ €๐Ÿ”† ;โ €@bradsnep โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ €โ € โ €โ €๐Ÿ”† ;โ €@Davestridersjuiceโ €โ €โ €โ €โ €โ €โ €โ €โ €โ € โ €โ €๐Ÿ”† ;โ €@piercedwishโ €โ €โ €โ €โ €โ € โ €โ €โ €โ €โ €โ €โ € โ €โ €๐Ÿ”† ;โ €@of-the-rising-sun โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€โ”€ โ”€โ”€โ˜… ห™โ˜€ SAFE SERV ONLY, my๐ŸŒฒin ch area ๐Ÿฅน or island(rarely) ฬŸ !!

@XiaomingX
Y11 XiaomingX
Software Dev @ X | Linux, Java, Spring, Python, Golang, Next.js | Open Source Enthusiast | LLM Innovator | M.Sc. in Software Engineering ๐Ÿš€

Jobleap.cn Japan

@XDecoder12
XDecoder12
@Bishwarupjee
Bishwarupjee Bishwarupjee
We all are inverse problems, showing a noisy image of ourselves

IRD / IPSL Paris, France

@Acomage
Acomage
ๅ…ณๅฑฑ้šพ่ถŠ๏ผŒ่ฐๆ‚ฒๅคฑ่ทฏไน‹ไบบ
@mrwhite4939
MrWhite mrwhite4939
Hello, I'm Ren, call me Mr. White. Offensive Security Specialist | Pentesting, Exploit Dev, Red Teaming ,Bug Hunting๐ŸŒ

Tokyo, Japan โ€” ๆฑไบฌ้ƒฝ, ๆ—ฅๆœฌ

@NathanielB123
Nathaniel Burke NathanielB123
@shun-dong
้‡‡่–‡ shun-dong
@shusoyo
suspen shusoyo
@iVGeek
iVGeek iVGeek
A kaffeinating nerd on a journey to vulnerability research.

Wโˆ†Kโˆ†NDโˆ† New Zealand

@S4IL21
S4IL S4IL21
Code. Learn. Repeat. ๐Ÿง‘โ€๐Ÿ’ป

Tatom [Owner] Barcelona, Spain

@augyg
Galen Sprout augyg
Live Laugh Love, Functionally

Ace Talent Community

@eldesh
eldesh eldesh

Tokyo

@fuwifur
fuwifur
Hi, I manually follow everyone. I'm not a bot, and I will follow you back if you follow me.

Istanbul

@opd-ai
opdai opd-ai
OPD-AI specializes in open-source tools for creative workers, with a focus on tabletop RPG content generation and Bitcoin-based paywall solutions.
@nicoTingzhen
nicoTingzhen
@rstar327
rstar327
Success is not something that will happen in the future, but something that is accumulated continuously from the moment you decide to do it.

Abundant San Francisco

@jiang131072
Qingyang Jiang jiang131072

Shenzhen University China

@zly2006
Liyan Zhao zly2006
XJTU / Minecraft / Java / Kotlin / C#

Xi'an, Shaanxi Province, P.R. China

@aliasghar1379
Aliasghar aliasghar1379
Embedded Software and Hardware developer (0_0)

Farahoush Iran

@Hercules11
wangxc Hercules11
Form ever follows function.

null Shenzhen

@wynn-w
wynn-w
@BIYUEHU
ๆœ‰ๆ‘ใƒญใƒŸ BIYUEHU
Give me liberty, or give me death.

Japan Tokyo

@zachary-kent
Zak Kent zachary-kent
CS PhD Student

Carnegie Mellon University Pittsburgh, PA

@Gustavo-Castro19
Gustavo-Castro19
@T-Brick
Thea Brick T-Brick
yippeeee

Pittsburgh

@mtoohey31
Matthew Toohey mtoohey31
Master's student studying programming languages

University of Toronto

@yifanzhang-pro
Yifan Zhang yifanzhang-pro
PhD student at Princeton University

Princeton University

@neoheartbeats
Sthenno neoheartbeats
Undergraduate @psu-edu

@psu-edu

@vasucp1207
Vasu Singh vasucp1207

@vicharak-in India

@Lasuac-SG
Lasuac Lasuac-SG
@Shiyeman
Shiyeman
@emilycodestar
Emily ๐Ÿ’ž emilycodestar
โœจ hiiii! check out my open-source projects ๐Ÿ’ป๐Ÿ’– theyโ€™re like my little babies and I love sharing them ๐ŸŒธ๐Ÿพ
@nukomartinez369-lang
nukomartinez369-lang
@Earthloach
Yanrunzhe Lyu Earthloach
Computer Science student at the University of Melbourne
@imkevinliao
Kevin imkevinliao
embrace your own identity, and respect the individuality of others.

ShenZhen.GuangDong.China

@myl3883
myl3883
@ArberSephirotheca
Zheyuan Chen ArberSephirotheca
UCSC CSE PhD Student

@LanguagesSystemsDataLab UC Santa Cruz

@ccodel
Cayden Codel ccodel
Fourth-year formal methods PhD student at Carnegie Mellon University.
@Siddhu-ohale
Siddharth Ohale Siddhu-ohale
๐Ÿš€ Python & Web Dev | Data Science | ๐ŸŒ HTML, CSS, JS, Bootstrap, Python, AWS EC2 | ๐Ÿ’ผ 3 Yrs Practical Exp | Open to Remote Work ๐ŸŒ

ahmednagar

@1419323749
Autumn 1419323749
@motanelson
nelson jr mota motanelson
Can find me on discord chanel cosmos os

https://youtube.com/@nelsonmota-s4u Portugal, lisbon

@slavaGanzin
Slava slavaGanzin

Nice, France

@yazaldefilimone
Yazalde Filimone yazaldefilimone
@Minglu-Li
Milo Minglu-Li

Hohai University Nanjing, China

@Leegoudan
Leegoudan
@danmaster287
danmaster287
@Gravifer
Tci Gravifer Fang Gravifer
Bikeshed critic

Tsinghua University Beijing