Skip to content
View ksyx's full-sized avatar

Organizations

@llvm @OI-wiki

Block or report ksyx

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
@HanatoK
Hanato Kobato HanatoK
うれしくっても涙がでるなんて、不思議だ
@skylee03
Yang Ming-Tian skylee03
PhD Student @hkuplg

University of Hong Kong Hong Kong

@roife
roife roife
Interested in PL and Compiler.

@pascal-lab

@berberman
Potato Hatsue berberman
Funnel cakes! Get your funnel cakes here!

Gensokyo

@jixunmoe
Jixun jixunmoe
A full-stack developer that mainly does front-end development happens to enjoy low-level stuff... weird // 一个喜欢捣鼓底层东西的主前端的全栈开发者… 这可真稀奇。

北极星

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

@Vidar-Team @InProgramming @earth

@re-xyr
daylily re-xyr
of no particular qualities of note.

Carnegie Mellon University Great Hakurei Barrier

@konnpaku-youmu
こんぱくようむ konnpaku-youmu
妖夢太可愛了 | どうして妖夢はこんなにかわいい!

KU Leuven Leuven, Belgium

@lynzrand
Rynco Maekawa lynzrand
"Never tried hard before, But dreamt to be special." Building compilers & developer tooling. OCaml / Rust / C# / C / Typescript; en_US / zh_CN.

AS16-November-08

@wqweto
Vladimir Vissoultchev wqweto
Hacking VB6 since '98 🤷🏻‍♂️☕

@Unicontsoft Sofia, Bulgaria

@SpriteOvO
Asuna SpriteOvO
C++, C, Rust / Cross-platform desktop & former Windows kernel driver developer, reverse engineer / Owning a HomeLab / Working at late night / BTW, I use Arch.

Institute of Software Chinese Academy of Sciences Wuhan <- Chengdu, China

@SharzyL
Sharzy SharzyL
Hi, let's watch WEP one more time

Beijing, China

@imbushuo
Ben (Bingxing) Wang imbushuo
aka. 饼干 or 本王, I put hobbyist things here. PGP Key DB8E 2DD2 6A68 5A23

@linkedin Sunnyvale, CA

@CircuitCoder
Liu Xiaoyi CircuitCoder
Meow~

Tsinghua University / @tuna Beijing, China

@luvletter2333
Luv Letter luvletter2333
previous UG student, looking for PhD, 不是知乎果蛆
@CoelacanthusHex
Coelacanthus CoelacanthusHex
OIer, MtF, Rust, C++, Linux PGP: 0x15F4180E73787863

/usr/bin

@dark-flames
dark-flames dark-flames
Programming Language / Dependent Type Theory / Full Stack Developer

Kyoto University Kyoto, Japan

@vxst
Jyn Spring 琴春 vxst
Stay fortitude, Do good, Be excellence: I will trust, and not be afraid.🏳️‍⚧️ / GPG: 48667DEF

永远坚强,永远善良,永远卓越

@alissa-tung
Alissa Tung alissa-tung

The Chinese University of Hong Kong, Shenzhen

@PhotonQuantum
LightQuantum PhotonQuantum
CS PhD Student @ UToronto

University of Toronto Toronto, Canada

@imkiva
Kiva imkiva
PL beginner. I write compilers and IDEs.

Gensokyo

@Trumeet
Yuuta Liang Trumeet
I don't use GitHub, see the link below. Meow! · UBC BSc'26

University of British Columbia Vancouver

@OriginCode
Kaiyang "COMPL.EXE" Wu OriginCode
AOSC Dev // PGP Pubkey: 0x357F978888888888 // B.S. in Informatics@UW Seattle // Master in Cybersecurity@SFU

Burnaby, BC, Canada

@ZenithalHourlyRate
Hongren Zheng ZenithalHourlyRate
头像是绫波丽 | Avatar Ayanami Rei
@miaotony
MiaoTony miaotony
Meow~ 0x020921FE312A15B1 | DN42 AS4242422688 | Telegram t.me/meow233

CTFer @team-su MeowBox

@luyanaa
陸 言 luyanaa
云母屏风烛影深,长河渐落晓星沈。

@Cadence Beijing, China

@RobertHarper
Robert Harper RobertHarper
I am a Professor in the Computer Science Department at Carnegie Mellon University, where I have been a member of faculty since 1988.

Carnegie Mellon University Pittsburgh PA

@panda2134
panda2134

Computer Sciences, University of Wisconsin - Madison Madison, WI

@slanterns
Slanterns slanterns
蒟蒻。

ZHZX AS15-PAPA-09

@AD1024
Mike He AD1024
Ph.D. student @PrincetonUniversity; Working on formal methods for distributed systems

@PrincetonUniversity Princeton, NJ

@Chrogeek
Chrogeek
DCST, THU

Tsinghua University Beijing, China