Skip to content
View ice1000's full-sized avatar
♾️
Generalizing something
♾️
Generalizing something
4.1k followers · 761 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
@ewendufour
Ewen ewendufour
@amblafont
Ambroise amblafont
Assistant professor at Ecole Polytechnique

Ecole Polytechnique Palaiseau

@Dolyn157
朵琳 Dolyn157
一只独立乐评人，爱好是旅行和音乐还有哲学。
@sinhp
Sina Hazratpour sinhp
Category Theory, Type Theory, Formalization, ML

Netherlands

@txa
Thorsten Altenkirch txa

The University of Nottingham Nottingham, UK

@gblelloch
Guy Blelloch gblelloch

Carnegie Mellon University

@ScholtenC
Connor Scholten ScholtenC
MS student Data Science and Analytics.

Grand Valley State University Zeeland MI

@Sonicpineapple
Luna Harran Sonicpineapple
@SkySkimmer
Gaëtan Gilbert SkySkimmer

Inria

@definfo
Yuxuan Sun definfo
A random PL/Compiler guy

Shanghai Jiao Tong University Shanghai, China

@peteryongzhong
Peter Zhong peteryongzhong
BSCS Northwestern '22 PostBacc Northwestern '23 CMU CS Phd Student

Wollongong, NSW, Australia

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

Carnegie Mellon University Pittsburgh, PA

@T-Brick
Thea Brick T-Brick
yippeeee

Pittsburgh

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

University of Toronto

@ryncsn
Kairui Song ryncsn

@Tencent Beijing, China

@sonyasimk
Sonya Simkin sonyasimk
@NathanSweet
Nathan Sweet NathanSweet

Esoteric Software Puerto Rico

@squid233
squid233 squid233
Project engineer. Leader of @Over-Run.

@Over-Run @XenFork China

@HerrCai0907
Congcong Cai HerrCai0907
摸鱼使我快乐! assemblyscript maintainer, clang-tidy maintainer

Shanghai

@ashermkn1
Asher Kornfeld ashermkn1
CS @ Carnegie Mellon

New York City

@peter-jerry-ye
Zihang Ye peter-jerry-ye

Shenzhen, China

@bzy-debug
Bao Zhiyuan bzy-debug
@MinecraftFuns
Joe Fang MinecraftFuns
The destiny of a person relies upon self-motivation, but one must also consider the course of history.

University of Toronto Toronto, ON, Canada

@JorisCeulemans
JorisCeulemans

@kunlabora Leuven

@BinderDavid
David Binder BinderDavid
Researcher in type theory and programming languages

University of Kent Canterbury, UK

@JamesGallicchio
James Gallicchio JamesGallicchio
I like building useful abstractions to make programming easier, and formal verification heavily guides that process for me :-)

Pittsburgh, PA

@ammkrn
Chris Bailey ammkrn
@arthur-adjedj
Arthur Adjedj arthur-adjedj
Computer Science student

ENS Paris-Saclay Paris, France

@ayanamists
LI CHENXI ayanamists

MeiTuan Beijing, China

@clemairej
clemairej
@mattecapu
Matteo Capucci mattecapu
Independent Researcher. Applied Category Theory + ε. Retired web dev.

Glasgow, UK

@chrisamaphone
Chris Martens chrisamaphone

Northeastern University

@astrainfinita
Zhao Yuyang 赵雨扬 astrainfinita
The family name is Zhao.

CUHK-Shenzhen | 香港中文大学（深圳） {Futian, Longgang}, Shenzhen | 深圳{福田, 龙岗}

@scmu
Shin-Cheng Mu scmu

Academia Sinica Taiwan

@ErinaSugino
ErinaSugino
Referenz: SCHULTES

Germany

@maliming
Ma Liming maliming
Software Developer at @volosoft

@Volosoft

@JanetYin
Zhenyun Yin JanetYin
@missuo
Vincent Yang missuo
Founder of @OwO-Network. PITT MSCS ’25 Alum. Operator of AS30700, AS60614 and AS206729.

OwO Network, LLC Pittsburgh, PA, U.S.A.

@EduardoRFS
Eduardo Rafael EduardoRFS
A developer
@yunwilliamyu
Yun William Yu yunwilliamyu
Assistant Professor of Mathematics

University of Toronto Toronto, Ontario, Canada

@KonjacSource
KonjacSource KonjacSource
Interested in Peace, Love, and Type Theory.

Nagoya University

@hehao98
Hao He hehao98
Ph.D. Student in Software Engineering

Carnegie Mellon University Pittsburgh, PA, USA

@thomasporter522
Thomas Porter thomasporter522
@heng-zhong-2003
Nicolas H. Zhong heng-zhong-2003
PhD student at UIUC. Research in programming languages and formal methods. 管仲去りて九百年、樂毅滅びて四百年、誰か王者の治を思ふ。丞相病篤かりき。

University of Illinois Urbana, IL

@Kraks
Guannan Wei Kraks
Assistant professor at Tufts University; programming languages, formal methods, compilers

Tufts University

@utensil
Utensil utensil
@PatrickMassot
Patrick Massot PatrickMassot

Paris

@lenianiva
Leni Aniva lenianiva
Researcher in Machine-Assisted Theorem Proving; Director of NorCal Hakkero Factory No. 1

Stanford University Centaur Lab San Francisco Bay Area, Gensokyo

@verhas
Peter Verhas verhas
Senior Software at EPAM Systems

N/A Zürich Switzerland Europe Earth

@lecopivo
Tomáš Skřivan lecopivo
Mathematician interested in physics simulation, computer graphics and numerical methods.