Skip to content
View XSnow's full-sized avatar
57 followers · 104 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Block or report XSnow

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 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
@jam-khan
Jam Kabeer Ali Khan jam-khan
PLT
@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

@neuroevolutus
Abel Sen neuroevolutus
Functional and Systems Programmer
@RIvance
std::_Rb_tree RIvance
PhD student at @hkuplg

0000:7C00

@syedbilalalam1
Syed Bilal Alam syedbilalalam1
git commits to me.

BTT - intl Karachi

@wuc9521
Chentian Wu wuc9521
UW-Madison 25' -> UIUC 3_'
@Hughshine
Xuyang Li Hughshine
FM, SE, PL, HPC, HCI raising 3rd year Phd Student @Purdue.

West Lafayette

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

indie hacker hangzhou china

@xqyww123
Xu Qiyuan xqyww123

Nanyang Technological University

@trey3p
Trey Plante trey3p
@kartik-sabharwal
Kartik Sabharwal kartik-sabharwal
I'm a Computer Science Ph.D. student at the University of Iowa.

Iowa City, Iowa

@pedrotst
Pedro Abreu pedrotst
Type Theory Forall Host

Type Theory Forall Brasília, Brasil

@standardgalactic
Cogito Ergo Sum standardgalactic
𝘏𝘰𝘮𝘦 𝘰𝘧 𝘵𝘩𝘦 𝚂𝚝𝚊𝚗𝚍𝚊𝚛𝚍 𝙶𝚊𝚕𝚊𝚌𝚝𝚒𝚌 𝙰𝚕𝚙𝚑𝚊𝚋𝚎𝚝

Xanadu Canada

@djvelimir
Velimir Đurković djvelimir
Senior Software Engineer

Novi Sad, Vojvodina, Serbia

@adolfont
Adolfo Neto adolfont
Associate Professor at UTFPR Curitiba

DAINF - UTFPR Curitiba, PR, Brazil

@4y8
Aghilas Y. Boussaa 4y8

École normale supérieure - PSL

@waterlens
Waterlens waterlens
@itsKayWat
itsKayWat itsKayWat
👋 I'm Chris Loetz, I make stuff. Crafting tools to help stores and teams streamline operations and enhance efficiency - TikTok: @ll_kaywat_ll - OnPoint

NexusStream Project Ai One Click Away From You =P

@skylee03
Yang Ming-Tian skylee03
PhD Student @hkuplg

University of Hong Kong Hong Kong

@cu1ch3n
Cui Chen cu1ch3n
PhD candidate @hkuplg / @NixOS user and package maintainer

@hkuplg

@toum120
Follow自动机 toum120
@tjhao
Jinhao Tan tjhao
PhD Student, Programming Languages Group, University of Hong Kong
@EagleoutIce
Florian Sihler EagleoutIce
In love with programming and penguins.

@sp-uulm Germany

@slanterns
Slanterns slanterns
蒟蒻。

ZHZX AS15-PAPA-09

@liuliususu
liuliususu
@NeilKleistGao
Fa1sePRoMiSe NeilKleistGao
Pleased to meet you. Hope you guess my name.

Peach's Castle

@Hoblovski
Hob Den Hoblovski
Compilers. OS kerns. Formal verif. Prog analyses. LLM apps. Infra. All the shit I do. Knows quite a bit about C.

Tsinghua Univ.

@storage-db
Lian Wang storage-db
Explore in every moment of the hard thinking

TUST China

@wangweixuan
Wang Weixuan wangweixuan

Peking University China

@alcides
Alcides Fonseca alcides
Associate Professor at University of Lisbon, Portugal Researcher at LASIGE

LASIGE, University of Lisbon Lisboa, Portugal

@liyishuai
Yishuai Li liyishuai
PhD'22 @plclub @DeepSpec; Mentor @SIGPLAN -M; Maintainer @rocq-community @ocaml-community; Contributor @rocq-prover.

@DeepSpec Tokyo

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

Tufts University

@alt-romes
Rodrigo Mesquita alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else

Well-Typed LLP @ GHC Team Portugal

@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo

@vu3jej
vu3jej
@MATRIXKOO
M4tr1xt4ng MATRIXKOO
Semi-Programmer | Vegetable PLer｜ Working on PLDI

@Vidar-Team @InProgramming @earth

@Kensuke-Hinata
ypcpy Kensuke-Hinata
greedy is bad

redocpot Shenzhen, China

@Sec-R
Sec R Sec-R
舞い上がる因果交流
@jiangsy
Shengyi Jiang jiangsy
@zer0yu
z3r0yu zer0yu
BugHunter@OverSpace / RedTeamer@PolarisLab / CTFer@kn0ck

Singapore / China

@wcphkust
wcphkust wcphkust
Static analysis, program language theory

Postdoc@Purdue CS, HKUST Alumnus West Lafayette

@chinesebear
Yang Eric chinesebear
@namasikanam
Xingyu Xie namasikanam
Dream to find rigorousness and meaning in the messy world. Learning how to interact with people.

Max Planck Institute for Security & Privacy Bochum, Germany

@nrioux
Nick Rioux nrioux

University of Pennsylvania Philadelphia

@andongfan
Andong Fan andongfan
CS PhD student working on programming languages.

University of Toronto

@YeWenjia
nicolewj YeWenjia
@Ascarshen
Ke Shen Ascarshen

Edinburgh, UK

@juniorxxue
Xu Xue juniorxxue

@hkuplg

@yzyzsun
Yaozhu Sun yzyzsun

@NII-foss Tokyo, Japan

@Jaic1
Jaic1