Skip to content
View arxgy's full-sized avatar
65 followers · 153 following

Highlights

  • Pro

Block or report arxgy

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
@hyj542682306
Hong Yijia hyj542682306
Shanghai Jiao Tong University

Shanghai Jiao Tong University Shanghai, China

@charlesyuan314
Charles Yuan charlesyuan314
Research in programming languages.

University of Wisconsin–Madison

@WhileBug
Peiran Wang WhileBug
Computer Science Lover System/PLSE/Crypto&Privacy

China

@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

@itewqq
itewqq
Currently working on security | Love algorithms&math&hacking
@TwistsOfFate
Fanqi Yu TwistsOfFate

@columbia

@rust-vmm
rust-vmm rust-vmm
@anishathalye
Anish Athalye anishathalye

@cleanlab San Francisco, CA

@zech4o
Zechao Cai zech4o

Somewhere GL2

@euclidgame
Wenjie Ma euclidgame

Berkeley, CA

@lalithsuresh
Lalith Suresh lalithsuresh
CEO and co-founder at Feldera. Systems guy.

Feldera Mountain View

@Alasdair
Alasdair Armstrong Alasdair

Cambridge University Cambridge

@alex-ozdemir
Alex Ozdemir alex-ozdemir
@alastairreid
Alastair Reid alastairreid
Researcher working on formal specification and verification. (This is my personal account)

Intel Cambridge, United Kingdom

@teorth
teorth
@roife
roife roife
Interested in PL and Compiler.

@pascal-lab

@parno
Bryan Parno parno

Carnegie Mellon University

@rsofaer
Raphael Sofaer rsofaer
@KireinaHoro
Pengcheng Xu KireinaHoro
PhD Student @ Systems Group, ETH Zürich 🇨🇭 i@jsteward.moe Telegram: https://t.me/jsteward

ETH Zurich Zürich, Switzerland

@tchajed
Tej Chajed tchajed
Professor at UW-Madison. I write software and prove that it does what it's supposed to.

UW-Madison Madison, WI

@Glomzzz
Glomzzz Glomzzz
sublime

SERN

@Trebor-Huang
Trebor Huang Trebor-Huang
I'm an undergrad at Tsinghua University. / I like mathematics and dependent type theory.

Internal cat of a doughnut

@rivalak
Kele Huang rivalak

@Columbia

@equation314
Yuekai Jia equation314

Tsinghua University

@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

@marshtompsxd
Xudong Sun marshtompsxd
UIUC CS Ph.D. student

University of Illinois Urbana-Champaign

@HuStmpHrrr
Jason Hu HuStmpHrrr
Applied scientist at AWS; PhD from McGill University; MMath from University of Waterloo; https://gitlab.com/JasonHuZS

AWS Seattle, WA

@Bonjourz
Bojun Zhu Bonjourz
Ant Group

@antgroup ShangHai, China

@andrew-appel
Andrew Appel andrew-appel
Professor Emeritus of Computer Science

Princeton University Princeton, NJ

@Co1lin
Colin Co1lin
PhD student @columbia.

Columbia University World

@AlexaraWu
Alexara Wu AlexaraWu
@ganler
Jiawei Liu ganler
phd'ing @illinois

University of Illinois Urbana-Champaign

@shouya
shouya
a cellular automaton

UTC+9

@microsoft
Microsoft microsoft
Open source projects and samples from Microsoft

Redmond, WA

@Alan-Liang
Alan L Alan-Liang
Personal stuff migrated to https://codeberg.org/altk . Being fed up with GitHub.
@ztatlock
Zachary Tatlock ztatlock
Associate Professor, UW Allen School (CSE)

University of Washington Seattle, WA

@lazyparser
Wei Wu lazyparser

@plctlab

@zslwyuan
Tingyuan LIANG zslwyuan
PhD Student @ HKUST

HKUST Hong Kong

@abccsss
Chenjing Bu abccsss
Mathematics PhD student at University of Oxford

University of Oxford Oxford

@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo

@dsjsgk
was_n dsjsgk
Try again, fail better.

野生oyiya保护协会 Shanghai

@xiezhq-hermann
Zhiqiang Xie xiezhq-hermann
PhD Student @ Stanford CS

Stanford University Stanford, CA, USA

@PhotonQuantum
LightQuantum PhotonQuantum
CS PhD Student @ UToronto

University of Toronto Toronto, Canada

@cloudwu
云风 cloudwu
coder ( c , lua , open source )

ejoy.com China

@hnyls2002
Liangsheng Yin hnyls2002
@sgl-project Talk is cheap, show show way...

Hogwarts Shanghai Changsha

@yuanming-hu
Yuanming Hu yuanming-hu
Ph.D. in Computer Science (MIT CSAIL) Creator of Taichi Lang
@glassesq
Yi Rong glassesq
Drive code like racing. 🐎🏎️

Columbia University

@xnning
Ningning xnning
Types are all you need.

University of Toronto

@chhzh123
Hongzheng Chen chhzh123
Compiler for accelerators

Cornell University Ithaca, NY

@zhanghongce
Hongce Zhang zhanghongce
Princeton ECE Alumnus, Assistant Professor @ HKUST(GZ)

Hong Kong University of Science and Technology (Guangzhou) Guangzhou, China