Skip to content
View yallop's full-sized avatar
401 followers · 114 following

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Starstruckx3Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx4

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Starstruckx3Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx4

Highlights

  • Pro

Organizations

@mirage @ocaml @metaocaml @links-lang @effuse @frex-project @modular-macros @modular-implicits

Block or report yallop

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
@TheoWinterhalter
Théo Winterhalter TheoWinterhalter
Researcher, proof assistants and dependent types

INRIA Saclay Saclay

@johnyob
Alistair johnyob
Compiler & Type System Enthusiast

University of Cambridge United Kingdom

@sampsyo
Adrian Sampson sampsyo
Hi! I'm a terrifying Cornell professor, the kindly progenitor of @beetbox, and pretty into The Magnetic Fields. 6'2".

Cornell University Ithaca, NY

@ilya-klyuchnikov
ilya-klyuchnikov

@facebook London

@pedagand
Pierre-Évariste Dagand pedagand
@poitin
Geoff Hamilton poitin
Currently overhauling all code repositories.

Dublin City University Dublin, Ireland

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

Tufts University

@PLTools
Programming Languages & Tools Group Space PLTools

Russian Federation

@Kakadu
Dmitrii Kosarev Kakadu

(ex-)JetBrains Research Saint-Petersburg, Russia

@dboulytchev
Dmitry Boulytchev dboulytchev

St. Petersburg University St.Petersburg

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

AWS Seattle, WA

@hirrolot
hirrolot
At any cost, but for free
@fredrikNordvallForsberg
Fredrik Nordvall Forsberg fredrikNordvallForsberg

University of Strathclyde Glasgow, UK

@lemire
Daniel Lemire lemire
Daniel Lemire is a computer science professor. His research is on software performance in data engineering.

Université du Québec (TELUQ) Montreal, Quebec, Canada

@JasonGross
Jason Gross JasonGross

Machine Intelligence Research Institute Berkeley, California, United States

@MevenBertrand
Meven Lennon-Bertrand MevenBertrand
Post-doc at the University of Cambridge
@yforster
Yannick Forster yforster
Researcher in the Cambium Team at Inria Paris

Inria Paris

@omelkonian
Orestis Melkonian omelkonian
PhD @ University of Edinburgh   Formal Methods @input-output-hk   Interests: Programming Languages, Functional Programming, Type Theory, Formal Verification

Input Output (IOG) Kirkwall, Orkney, Scotland

@tsung-ju
Tsung-Ju Chiang tsung-ju

University of Toronto Toronto

@gfngfn
Takashi Suwa gfngfn
Develops type systems at Kyoto Univ. and works as a software engineer

Kyoto, Japan

@H-Yulong
Yulong Huang H-Yulong
@nadia-polikarpova
Nadia Polikarpova nadia-polikarpova

UC San Diego

@yihozhang
Yihong Zhang yihozhang
PhD student at the University of Washington

Seattle

@jkoppel
Jimmy Koppel jkoppel
@theo-chengkai-wang
Theo Wang theo-chengkai-wang
@dhil
Daniel Hillerström dhil
Effectful programmer

Category Labs, New York City, NY, USA

@Cambridge-ICCS
Institute of Computing for Climate Science Cambridge-ICCS
Institute of Computing for Climate Science at the University of Cambridge

United Kingdom

@yizhouzhang
Yizhou Zhang yizhouzhang

Waterloo, Ontario

@backtracking
Jean-Christophe Filliatre backtracking
@swapnilraj
Swapnil Raj swapnilraj
I program.
@jonsterling
Jon Sterling jonsterling
Associate Professor in Logical Foundations and Formal Methods

University of Cambridge Cambridge, Cambridgeshire, UK

@rr0gi
rr0gi

@ahrefs

@andreypopp
Andrey Popp andreypopp

@mechanize-systems Tbilisi, Georgia

@elpinal
El Pin Al elpinal
Abstract behavior
@effectfully
effectfully
@nachivpn
Nachi Valliappan nachivpn
Doing this research thing
@joom
Joomy Korkut joom
Formal verification and programming languages researcher.

@Bloomberg New York City

@modular-implicits
modular-implicits
@DKXXXL
EDJ DKXXXL
grad PLT enthusiast
@COCTI
COCTI Project COCTI
Certified OCaml Type Inference
@rkaarsgaard
Robin Kaarsgaard rkaarsgaard
Assistant Professor at the University of Southern Denmark

Department of Mathematics and Computer Science, University of Southern Denmark Odense, Denmark

@maxsnew
Max S. New maxsnew

University of Michigan CSE Ann Arbor, MI

@jonludlam
Jon Ludlam jonludlam

@tarides Cambridge, UK

@AndrasKovacs
András Kovács AndrasKovacs
Type theory, applications, implementation
@cofibrant
Nathan Corbyn cofibrant
Doctoral Computer Science student at the University of Oxford

UK

@timothymjones
Timothy Jones timothymjones
Reader in Computer Architecture and Compilation and the University of Cambridge; Fellow of Gonville and Caius College; Researching program parallelism.
@xnning
Ningning xnning
Types are all you need.

University of Toronto

@UlfNorell
Ulf Norell UlfNorell
@ezrakilty
Ezra elias kilty Cooper ezrakilty
@emeryberger
Emery Berger emeryberger
Professor of Computer Science, UMass Amherst; Amazon Scholar. Co-director of @plasma-umass, Scalene, Slipcover, Coz, Hoard, and more. Creator of CSrankings.

University of Massachusetts Amherst Amherst, MA