Skip to content
View Grain's full-sized avatar
50 followers · 37 following

Block or report Grain

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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
@legolearner
legolearner
@JoeZhu-CS
Joe Zhu JoeZhu-CS
@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@luthern
Noah Luther luthern
@exekis
Kiarash Sotoudeh exekis
CS @ University of Toronto

University of Toronto Canada

@The-Eleven11
Eleven The-Eleven11
@Hua-hana
Jinhua Wu Hua-hana
PL | Formal Verification | Working on Rust verified compiler

Shanghai Jiao Tong University

@AntonXue
Anton Xue AntonXue
@Neustradamus
Neustradamus Neustradamus
@yqyq-w
yqyq-w
PL+Systems
@opohotz
talkToMeGoose opohotz
> i love tomcr00000se
@EYH0602
Yifeng He EYH0602
PhD student @ UC Davis | B.S. in CS & Applied Math @ UC Davis

@SecurityLab-UCD Davis, CA

@Mepy
Qihao LIAN(练 琪灏) Mepy
Nihil
@aresbit
aresbit
@breandan
breandan breandan
@mohitzsh
Mohit Sharma mohitzsh

Google San Francisco, CA

@hannelita
Hanneli Tavante hannelita

(x, y, z, t)

@PalindromeLeung
Hannah Leung PalindromeLeung

San Mateo, CA

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

LASIGE, University of Lisbon Lisboa, Portugal

@4y8
Aghilas Y. Boussaa 4y8

École normale supérieure - PSL

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

Tufts University

@reikdas
Pratyush Das reikdas
PhD student, working on compilers.

Purdue University West Lafayette, Indiana

@Jack12xl
Jack12xl
Student
@pedrotst
Pedro Abreu pedrotst
Type Theory Forall Host

Type Theory Forall Brasília, Brasil

@shaanvaidya
Shaan Vaidya shaanvaidya

University of Pennsylvania Philadelphia

@simmimourya
Simmi Mourya simmimourya

@modernatx Seattle, WA

@Liby99
Ziyang Li Liby99
No Code No Life | Assistant Professor in CS at Johns Hopkins University

Johns Hopkins University Baltimore, MD

@amir
Amir M. Saeid amir

Dublin, Ireland

@cdstanford
Caleb Stanford cdstanford
Assistant professor at UC Davis in programming languages, formal methods, systems.

Davis, California, USA

@baberrehman
Baber Rehman baberrehman
PL Research Group @ HKU

The University of Hong Kong Hong Kong

@SunflowerAries
Steve Luo SunflowerAries
CS Student @fudan University

Fudan University Shanghai

@hazelnutsgz
Guozhen (Lance) She hazelnutsgz
Yet another coding idiot.

Duke University

@Chobbes
Calvin Beck Chobbes

Philadelphia

@bnjw5jhyxn
Steve Hsu bnjw5jhyxn
@angelhof
Konstantinos Kallas angelhof
Assistant Professor of CS at UCLA

UCLA Computer Science Los Angeles, CA - Athens, GR

@Virtlink
Daniel A.A. Pelsmaeker Virtlink
I have a passion for programming, electronics, and domotica. My favorite languages are Kotlin, Rust, and C#.

TU Delft Delft, The Netherlands

@ArulselvanMadhavan
Arulselvan Madhavan ArulselvanMadhavan

San Francisco, CA

@emarteca
Ellen Arteca emarteca
Android security engineer at Google

@google Mountain View, California

@vastopol
Sean Richardson vastopol
@rnagasam
Ramana Nagasamudram rnagasam

Stevens Institute of Technology Hoboken, NJ

@lorenzleutgeb
Lorenz Leutgeb lorenzleutgeb

Max Planck Institute for Informatics European Union

@infdahai
clundro infdahai
What I cannot create, I do not understand

Hangzhou, China

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

@Aliyun Shanghai Xuhui

@Lysxia
Xia Li-yao Lysxia
@wodeni
Wode "Nimo" Ni wodeni
arranging blobs in @penrose and @brilliantorg
@FedericoAureliano
Federico Mora Rocha FedericoAureliano

University of California, Berkeley

@yucissy
Cissy Yu yucissy

Providence, RI

@toxtli
Carlos Toxtli toxtli
PhD, Prof, Director of the Human-AI Empowerment Lab at Clemson University, Dad

Microsoft, Google, Amazon, Snapchat, GitHub, United Nations, Freelancer United States

@cdrini
Drini Cami cdrini

@internetarchive Toronto, ON

@muntashir
Muntashir muntashir