Skip to content
View xnning's full-sized avatar
702 followers · 71 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx2

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
@ebresafegaga
Gaga ebresafegaga
@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

@xuexue
Lisa Zhang xuexue
@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

@prose-uoft
prose-uoft
@juniorxxue
Xu Xue juniorxxue

@hkuplg Hong Kong

@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo

@sighingnow
Tao He sighingnow

@alibaba Beijing, China

@mpickering
Matthew Pickering mpickering

XBOW Sheffield, UK

@mengwangoxf
mengwangoxf
@KoenP
Koen Pauwels KoenP

Belgium

@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

@dimitriv
Dimitrios Vytiniotis dimitriv

Cambridge, UK

@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

@slindley
Sam Lindley slindley
@dhil
Daniel Hillerström dhil
Effectful programmer

Category Labs, New York City, NY, USA

@daanx
Daan daanx

US

@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

@ezyang
Edward Z. Yang ezyang

New York, NY

@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

@edwinb
Edwin Brady edwinb
@simonmar
Simon Marlow simonmar

Cambridge, UK

@Lysxia
Xia Li-yao Lysxia
@RyanGlScott
Ryan Scott RyanGlScott
@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

@simonpj
Simon Peyton Jones simonpj

Epic Games

@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

@neel-krishnaswami
Neel Krishnaswami neel-krishnaswami

University of Cambridge

@yallop
Jeremy Yallop yallop

University of Cambridge Cambridge, UK

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

@hubspot