Skip to content
View Pat-Lafon's full-sized avatar
40 followers · 144 following

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report Pat-Lafon

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
@zilberstein
Noam Zilberstein zilberstein
PhD Student at Cornell University researching Programming Languages, Logic, and Semantics

Cornell University Ithaca, NY

@euisuny
Irene Yoon euisuny
@shadaj
Shadaj Laddad shadaj
Building @hydro-project, a framework for performant, modular, and correct distributed systems. PhD from UC Berkeley.

San Francisco

@EnguinandP
Francille Zhuang EnguinandP
Computer Science BS at Purdue University
@kartik-sabharwal
Kartik Sabharwal kartik-sabharwal
I'm a Computer Science Ph.D. student at the University of Iowa.

Iowa City, Iowa

@bruxisma
Izzy Muerte bruxisma
Code Bruja. Build System Trash Goblin. Stoner/Sludge/Doom Enthusiast. ⚢ and ⚧

San Francisco, CA

@buzden
Denis Buzdalov buzden
@rachit-k
Rachit Kumar rachit-k
CSE IITD'21
@Hughshine
Xuyang Li Hughshine
FM, SE, PL, CS, HCI. rising 2nd year Phd Student @Purdue.

West Lafayette

@victornicolet
Nicolet Victor victornicolet

Amazon Web Services Canada

@lemonidas
Leonidas Lampropoulos lemonidas

Greece

@m-ou-se
Mara Bos m-ou-se
Rust leadership council member, Rust library team lead, Author of Rust Atomics and Locks, Founder of Fusion Engineering and Hexcat

Netherlands

@jfeser
Jack Feser jfeser
Research Scientist

@BasisResearch New York, NY

@mmottl
Markus Mottl mmottl

New York, USA

@mpmilano
Mae Milano mpmilano
@purdue-cap
Computer-Aided Programming Group, Purdue University purdue-cap
@RebekahSowards
RebekahSowards
Rebekah Johnson - Brigham Young University
@EclecticGriffin
Griffin Berlstein EclecticGriffin
Former undergrad at Vassar College. Current PhD student at Cornell. All around chaos vortex.

Cornell University

@namin
Nada Amin namin
Assistant Professor of Computer Science

Harvard University Cambridge, MA

@nadia-polikarpova
Nadia Polikarpova nadia-polikarpova

UC San Diego

@julbinb
Julia Belyakova julbinb

Purdue University Lafayette, IN, USA

@mkhan45
Mikail Khan mkhan45
CMU S3D Phd Student, Purdue '24
@jennalwise
jennalwise
Assistant Professor in Electrical and Computer Engineering at Purdue University. I do research in programming language design and software verification.

Purdue University

@hannelita
Hanneli Tavante hannelita

(x, y, z, t)

@ulysses4ever
Artem Pelenitsyn ulysses4ever
Purely Fictional

Lafayette, IN

@mcy
Miguel Young mcy
AKA mcyoung
@ltratt
Laurence Tratt ltratt
Programmer, researcher. Software Development Team, King's College London

@softdevteam Somerset / London

@oflatt
Oliver Flatt oflatt

Salt Lake City

@lastland
Li Yao lastland
Assistant Professor at Portland State University. Functional Programming. Formal Verification. Haskell/Rocq.

Portland State University Portland, OR

@parrt
Terence Parr parrt
Tech lead at Google, ex-Professor of computer/data science, active contributor to open-source projects supporting developers. Creator of ANTLR parser generator.

San Francisco

@89oinotna
89oinotna
Void

IMDEA Software Institute Madrid

@cyberglot
april cyberglot
PLT + compilers; haskell champion; agda newbie.

Glasgow, UK

@IdrissRio
Idriss Riouak IdrissRio
Software Engineer @github in the CodeScanning Team

@github Billund - Denmark

@fpottier
François Pottier fpottier

Inria Paris, France

@robertzhidealx
Robert Zhang robertzhidealx
PhD'ing @ UT Austin | Formerly BS/MS @ Johns Hopkins & Intern @ Meta

UT Austin Austin, TX

@ngernest
Ernest Ng ngernest
CS PhD Student @ Cornell

Ithaca, NY

@kegan-dev
Kegan McIlwaine kegan-dev
@brunorochapaiva
Bruno Paiva brunorochapaiva
PhD student in Computer Science at the University of Birmingham

University of Birmingham Birmingham, UK

@junrui-liu
Junrui Liu junrui-liu
@shamiek
shamiek
@TDiazT
Tomás Díaz TDiazT

Santiago, Chile

@BenLirio
Ben Lirio BenLirio

Amazon NYC

@radrow
Radosław Rowicki radrow
PhD student @ DTU | I like types

DTU | @aeternity

@aditya-giri
Aditya Giridharan aditya-giri
backend @ abnormal security

Abnormal Security Seattle, Washington

@Ryxai
Jon Baum Ryxai
Reject compiled languages, return to de Bruijn indices.

Under there

@tckmn
tckmn tckmn
@Twisol
Jonathan Castello Twisol
@cole-k
cole cole-k
Hi

San Diego, CA

@anaaktge
Allison M. Naaktgeboren anaaktge

Oregon

@slanterns
Slanterns slanterns
蒟蒻。

ZHZX AS15-PAPA-09