Skip to content
View yallop's full-sized avatar
428 followers · 117 following

Achievements

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

Achievements

Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: 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.

Content in all repositories owned by your account will be closed.
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
@joelonsql
Joel Jakobsson joelonsql
@michaelleejl
Michael Lee michaelleejl
@verse-lab
Verified Systems Engineering Lab verse-lab
Research Group at NUS School of Computing

Singapore

@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.

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
Software performance expert. Ranked in the top 2% of scientists globally (Stanford/Elsevier 2025) and among GitHub's top 1000 developers.

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

@JasonGross
Jason Gross JasonGross

Theorem San Francisco, California, United States

@MevenBertrand
Meven Lennon-Bertrand MevenBertrand
Maître de conférences at ENS Rennes
@yforster
Yannick Forster yforster
Researcher in the Cambium Team at Inria Paris

Inria Paris

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

London, UK

@tsung-ju
Tsung-Ju Chiang tsung-ju

Standard Chartered Bank Singapore

@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
@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
Andre Popp andreypopp

@mechanize-systems Leipzig, Germany

@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
Associate 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
Compiler enthusiast

Apple Inc. UK

@timothymjones
Timothy Jones timothymjones
Professor of 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