Skip to content
View mmhat's full-sized avatar
13 followers · 48 following

Achievements

Achievement: Galaxy BrainAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Galaxy BrainAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Block or report mmhat

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
@leanprover
Lean leanprover
Lean Prover
@haskell-pkg-janitors
haskell-pkg-janitors
Maintenance of packages by and for the Haskell community
@RyanGlScott
Ryan Scott RyanGlScott

Galois, Inc. Arlington, VA

@jneira
Javier Neira jneira
Historician transmuted in programmer
@int-index
Vladislav Zavialov int-index

@serokell

@gbaz
gbaz
@ocharles
Ollie Charles ocharles

CircuitHub London

@tomjaguarpaw
tomjaguarpaw
Contact me via http://web.jaguarpaw.co.uk/~tom/contact
@nikita-volkov
Nikita Volkov nikita-volkov
Haskeller, entrepreneur.

Moscow, Russia

@andreasabel
Andreas Abel andreasabel

Chalmers and Gothenburg University Gothenburg, Sweden

@BinderDavid
David Binder BinderDavid
PhD student in type theory and programming languages

Universität Tübingen Tübingen, Germany

@sheaf
sheaf sheaf
Cohomology enthusiast. I've seen rings you people wouldn't believe.
@BartoszMilewski
Bartosz Milewski BartoszMilewski
Author of Category Theory for Programmers

Programming Cafe Paris, France

@noughtmare
Jaro noughtmare

Netherlands

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

@kadena-io SLC

@tchoutri
Théophile Choutri tchoutri
Functional Programmer with a knack for resilient systems.

@scrive Montreuil, Paris

@simonpj
Simon Peyton Jones simonpj

Epic Games

@Fuuzetsu
Mateusz Kowalczyk Fuuzetsu

@tsurucapital 福井県坂井市, Japan

@aspiwack
Arnaud Spiwack aspiwack

Tweag Paris

@supersven
Sven Tennie supersven

Wire Hamburg, Germany

@andremarianiello
andremarianiello
@chreekat
Bryan Richter chreekat
Haskell space cadet 🚀

Helsinki

@haskell-effectful
haskell-effectful
@Icelandjack
Icelandjack
@jaspervdj
Jasper Van der Jeugt jaspervdj
Haskell programmer. I like to make things.

programmer at @snyk Zurich, Switzerland

@doyougnu
Jeffrey Young doyougnu
PhD in programming languages. Artificer. GHC developer and JS backend core developer. I write a lot of Haskell.

@input-output-hk

@Ericson2314
John Ericson Ericson2314
*x* should be designed not by piling feature on top of feature, but by removing the weaknesses and restrictions that make additional features appear necessary.

@ObsidianSystems New York

@hsyl20
Sylvain Henry hsyl20

Poitiers, France

@Bodigrim
ˌbodʲɪˈɡrʲim Bodigrim
Chair of Core Libraries Committee, Director at Haskell Foundation

Odessa, Ukraine

@ja0nz
ja.nz ja0nz
👉 https://read.cv/ja0nz

Germany

@david-christiansen
David Thrane Christiansen david-christiansen

Copenhagen, Denmark

@hasufell
Julian Ospald hasufell
Haskell freelancer, Opensource enthusiast.

Standard Chartered Just Singapore

@parsonsmatt
Matt Parsons parsonsmatt

@mercurytechnologies Denver, CO

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

Vancouver, BC

@kosmikus
Andres Löh kosmikus

Well-Typed LLP Regensburg

@TristanCacqueray
Tristan de Cacqueray TristanCacqueray

Red Hat

@nomeata
Joachim Breitner nomeata

Freiburg, Germany

@Gabriella439
gabby Gabriella439

@MercuryTechnologies San Jose, CA

@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

@adamgundry
Adam Gundry adamgundry

Well-Typed LLP @well-typed

@phadej
Oleg Grenrus phadej

Well-Typed LLP Helsinki, Finland

@sjakobi
Simon Jakobi sjakobi

Leipzig, Germany

@Kleidukos
Hécate Kleidukos
Haskell developer // Technical writer // Community organiser

Montreuil

@arybczak
Andrzej Rybczak arybczak
@bgamari
Ben Gamari bgamari
I enjoy compilers, hiking, and bicycling

Well Typed LLP Portsmouth, NH, United States

@chrisdone
Chris Done chrisdone

Artificial Labs @artificialio England

@snoyberg
Michael Snoyman snoyberg
Haskell and Rust, founder and maintainer of many OSS Haskell projects: Yesod, Conduit, Stack, Stackages, and more. VP of Engineering at FP Complete (@fpco)

@fpco Israel

@mrkkrp
Mark Karpov mrkkrp
Software engineer at @tweag

@tweag Château-Thierry, France