Thanks to visit codestin.com
Credit goes to github.com

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

Sponsors

@PhotonQuantum
@LLLgoyour
@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
@Nellousan
Nell Fauveau Nellousan
Computer Science student at Epitech Rennes, France

Epitech Rennes France

@MciG-ggg
MciG-ggg MciG-ggg

China Changsha

@niushufeng
niushufeng
@HoshinoKoji
HoshinoKoji
PhD candidate at Center for Life Sciences, PKU. Interested in cognitive modeling, mathematics, languages, and software engineering.

Peking University Beijing

@LustraI
LustraI
main @Azresash . ⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀~=~⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀ ⠀ ⠀spam follower block2unfollow

visit --> @ringmasterr

@hargup
Harsh Gupta hargup
@Giorgi014
Giorgi014
Front-End Developer

Georgia

@montmorill
montmorillonite montmorill
Just a stone. Owner of @montoria.

Jinan, Shandong, China

@MingMing42hours
Leo MingMing42hours

Transhumania

@missAnneThorpe
Anne Thorpe missAnneThorpe
@zs-jack
zs-jack
@vmmc2
Victor Miguel de Morais Costa vmmc2

Recife, Brazil

@ChanonTonmai
Chanon Khongprasongsiri ChanonTonmai
🐱

Thailand

@smancer000
Smancer smancer000
Full-stack developer • Frontend & backend • Turning ideas into production code.
@hyperpolymath
Jonathan D.A. Jewell hyperpolymath
NUJ NEC | Open University | Formal Verification, Language Design, Dependable.& Distributed Safety-Critical Systems | Available for collaborations.

The Open University & National Union of Journalists London, United Kingdom

@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⠀⠀⠀⠀⠀⠀ ─────────────────────────── ──★ ˙☀ SAFE SERV ONLY, my🌲in ch area 🥹 or island(rarely) ̟ !!

@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. Cybersecurity Engineer | Offensive Security, Pentesting, Exploit Development, Red Teaming, Bug Hunting 🌐

Trend Micro — トレンドマイクロ Tokyo, Japan — 東京都, 日本

@NathanielB123
Nathaniel Burke NathanielB123

TU Delft Delft, Netherlands

@shun-dong
采薇 shun-dong
@shusoyo
suspen shusoyo
@iVGeek
iVGeek iVGeek
A kaffeinating nerd on a journey to vulnerability research.

W∆K∆ND∆ Worlwide

@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
Hello, I manually follow everyone. Follow me, and I will follow you back for a mutually beneficial follow-for-follow.

LISTEN TO WESTKUST ON SPOTIFY

@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

@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 AI Lab Fellow

Princeton University

@neoheartbeats
Sthenno neoheartbeats
Undergraduate Researcher @psu-edu

@psu-edu

@vasucp1207
Vasu Singh vasucp1207

@vicharak-in India

@Lasuac-SG
Lasuac Lasuac-SG
@Shiyeman
Shiyeman
@nukomartinez369-lang
nukomartinez369-lang
@Earthloach
Yanrunzhe Lyu Earthloach
Computer Science student interested in progamming languages and formal methods