Skip to content
View themattchan's full-sized avatar
143 followers · 136 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruckx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruckx2

Block or report themattchan

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
@stedolan
Stephen Dolan stedolan
@PaulAtBanno
Paul Snively PaulAtBanno
PSE at Banno, Inc.
@LightAndLight
Isaac Elliott LightAndLight

Australia

@zenzike
Nicolas Wu zenzike

Oxford, UK

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

Glasgow, UK

@stylewarning
Robert Smith stylewarning
Flipping bits and rotating qubits.

Los Angeles, CA

@andgate
Gabriel Anderson andgate

Seattle, WA

@L-TChen
Liang-Ting Chen L-TChen

Institute of Information Science, Academia Sinica Taiwan

@Icelandjack
Icelandjack
@edwinb
Edwin Brady edwinb
@Lysxia
Xia Li-yao Lysxia
@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

@kcsmnt0
Katie Casamento kcsmnt0
@marcoheisig
Marco Heisig marcoheisig

FAU Erlangen-Nürnberg Germany

@historicalsource
Historical Source historicalsource
A collection of historical source files, for education and perusal.
@ndmitchell
Neil Mitchell ndmitchell
Haskell/Rust programmer. All code is open source and licensed by me, not my employer. All views are my own.

Meta Cambridge, UK

@nikivazou
Niki Vazou nikivazou
Research Assistant Professor and Haskeller

IMDEA Madrid

@gbaz
gbaz
@snowleopard
Andrey Mokhov snowleopard
From engineering to abstract mathematics and back

Jane Street UK

@geophf
geophf geophf
Category Theory. Graph Theory/Databases. Haskell. Logic.

Logical Graphs LLC Metro Washington D.C.

@jstolarek
Jan Stolarek jstolarek
I am a Haskell Developer at BinarApps. My main focus are functional programming languages.

BinarApps sp. z o.o. Łódź, Poland

@emilypi
Emily Pillmore emilypi
よ• Rust/Haskell • Comfy

@kadena-io SLC

@avigad
Jeremy Avigad avigad

Carnegie Mellon University Pittsburgh

@wouter-swierstra
Wouter Swierstra wouter-swierstra

Universiteit Utrecht Utrecht, the Netherlands

@SimonJF
Simon Fowler SimonJF

University of Glasgow Glasgow

@robrix
Rob Rix robrix
Colouring outside the lines.
@nadia-polikarpova
Nadia Polikarpova nadia-polikarpova

UC San Diego

@patrickt
Patrick Thomson patrickt
Te occidere possunt sed te edere non possunt; nefas est.

Queens, NYC

@effectfully
effectfully
@isovector
Sandy Maguire isovector
Author, programmer, musician, trouble-maker.

Vancouver, BC

@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

@pl-semiotics
pl-semiotics
@konn
Hiromi Ishii konn
Dependent Haskeller / Linear Haskell Advocate, Ph.D. in Math. Writing some Rust for living for a while.

Jij, Inc. @Jij-inc Tokyo

@ocramz
Marco Z ocramz
ML + λ

@unfoldml

@gallais
G. Allais gallais

Glasgow, Scotland

@dharmatech
dharmatech
@ak-14
ak ak-14
@jmchapman
James Chapman jmchapman
Free the group. Nuke the kernel. Power to the n.

@input-output-hk Glasgow, UK

@jules-hedges
jules-hedges
@wadler
Philip Wadler wadler
Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK.

University of Edinburgh Edinburgh

@josh-hs-ko
Josh Ko josh-hs-ko

Institute of Information Science, Academia Sinica Taipei, Taiwan

@twanvl
Twan van Laarhoven twanvl

The Netherlands

@JasonGross
Jason Gross JasonGross

Machine Intelligence Research Institute Berkeley, California, United States

@johnchildren
John Children johnchildren
Previously @jchildren due a series of unfortunate 2FA events.

@Quantinuum-dev Cambridge, UK

@jchildren
John Children jchildren

Reading

@cbdevnet
cbdev cbdevnet
Networks, Infrastructure, Lighting. Low-level programming is my thing.

Karlsruhe, Germany

@avsm
Anil Madhavapeddy avsm
Professor of Planetary Computing, University of Cambridge

University of Cambridge Cambridge, UK

@kcsongor
Csongor Kiss kcsongor
dysfunctional programmer

London, United Kingdom

@phadej
Oleg Grenrus phadej

Well-Typed LLP Helsinki, Finland

@sachac
Sacha Chua sachac
Interests include: Emacs, Org mode, Elisp, NodeJS, Python, sketchnotes, parenting, captioning, and a bunch of other things. Mastodon: https://emacs.ch/@sachac

Toronto