Skip to content
View xnning's full-sized avatar

Organizations

@Rocq-zh

Block or report xnning

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
@mkramarz
Maite Kramarz mkramarz
Second-year master's student at the University of Toronto.

University of Toronto Toronto, ON

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

University of Toronto

@PhotonQuantum
LightQuantum PhotonQuantum
CS PhD Student @ UToronto

University of Toronto Toronto, Canada

@bodzioney
Ethan Bodzioney bodzioney
PL enjoyer

University of Toronto

@Sec-R
Sec R Sec-R
舞い上がる因果交流
@andongfan
Andong Fan andongfan
CS PhD student working on programming languages.

University of Toronto

@hasti2c
Hasti Toossi hasti2c
Software Engineer @ PolyAI | HBSc in Computer Science & Mathematics @ University of Toronto

PolyAI Toronto, ON, Canada

@juniorxxue
Xu Xue juniorxxue

@hkuplg Hong Kong

@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo

@sighingnow
Tao He sighingnow

@alibaba Beijing, China

@leodemoura
Leonardo de Moura leodemoura
See https://leodemoura.github.io/about.html

AWS Seattle

@angelhof
Konstantinos Kallas angelhof
Assistant Professor of CS at UCLA

UCLA Computer Science Los Angeles, CA - Athens, GR

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

Davis, California, USA

@alexreinking
Alex Reinking alexreinking
Research Scientist/Engineer @adobe. Halide maintainer. Build systems masochist. Views are my own.

@adobe Cambridge, MA

@TiarkRompf
Tiark Rompf TiarkRompf

Faculty at Purdue University

@bcpierce00
Benjamin Pierce bcpierce00

University of Pennsylvania

@matijapretnar
Matija Pretnar matijapretnar

Faculty of Mathematics and Physics, University of Ljubljana

@dhil
Daniel Hillerström dhil
Effectful programmer

Category Labs, New York City, NY, USA

@sdiehl
Stephen Diehl sdiehl
I build software.

@onechronos London

@gsovereignty
gsovereignty gsovereignty
PGP: BAD47890 The peak of my pull-request comedy career: github.com/libra/libra/pull/83

Exile

@mstksg
Justin Le mstksg
jle / mstksg / Lê Anh Khoa: Computational physicist & Haskeller, PhD

@Anduril Orange, CA

@Fuuzetsu
Mateusz Kowalczyk Fuuzetsu

@tsurucapital 福井県坂井市, Japan

@watashi
Zejun Wu watashi

Zhejing University Hangzhou, China

@kayceesrk
KC Sivaramakrishnan kayceesrk
CS Prof, CTO @tarides, @ocaml core developer

IIT Madras and Tarides Chennai, India

@bgamari
Ben Gamari bgamari
I enjoy compilers, hiking, and bicycling

Well Typed LLP Portsmouth, NH, United States

@kcsongor
Csongor Kiss kcsongor
dysfunctional programmer

London, United Kingdom

@nomeata
Joachim Breitner nomeata

Lean FRO Freiburg, Germany

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

Tufts University

@goldfirere
Richard Eisenberg goldfirere
I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.

@janestreet Philadelphia, PA

@namin
Nada Amin namin
Associate Professor of Computer Science

Harvard University Cambridge, MA

@xavierleroy
Xavier Leroy xavierleroy
Professor of software sciences at Collège de France, Paris. Member of Inria research team Cambium. Interested in all scientific aspects of computer programming

Collège de France and Inria Paris, France

@yallop
Jeremy Yallop yallop

University of Cambridge Cambridge, UK

@Gertjan423
Gert-Jan Bottu Gertjan423
Senior Software Developer @ Hubspot

@hubspot