Skip to content
View maoe's full-sized avatar
167 followers · 146 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck

Organizations

@haskell @tsurucapital @haskell-org

Block or report maoe

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
@sanhinopta
三日野PTA sanhinopta
@teslamotors
Tesla, Inc. teslamotors
@yairchu
Yair Chuchem yairchu
@AndrasKovacs
András Kovács AndrasKovacs
Type theory, applications, implementation
@emilypi
Emily Pillmore emilypi
I've stopped maintenance of most things in favor of taking care of cows and such. I encourage y'all to do the same.

@kadena-io Salt Lake City, Utah

@termoshtt
Toshiki Teramura termoshtt
Ph.D. in Turbulence/Dynamical Systems

@Jij-Inc Japan

@dtolnay
David Tolnay dtolnay

0xF9BA143B95FF6D82 Redwood City, California

@mfrdixon
mfrdixon
@minoki
ARATA Mizuki minoki
a Haskell enthusiast, a GHC contributor, the author of LunarML

Japan

@Bodigrim
ˌbodʲɪˈɡrʲim Bodigrim
Director at Haskell Foundation

Odessa, Ukraine

@danidiaz
Daniel Díaz Carrete danidiaz

Artificial Labs A Coruña, Spain

@milianw
Milian Wolff milianw

KDAB, Qt, KDE Berlin, Germany

@chessai
chessai chessai
one must imagine sisyphus hacking
@isovector
Sandy Maguire isovector
Author, programmer, musician, trouble-maker.

Vancouver, BC

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

Jane Street UK

@maekawatoshiki
uint256_t maekawatoshiki
C++, Rust, Graduate student

Japan

@kosmikus
Andres Löh kosmikus

Well-Typed LLP Regensburg

@fryguybob
Ryan Yates fryguybob
@andrewthad
Andrew Martin andrewthad

@layer-3-communications Atlanta, GA

@RyanGlScott
Ryan Scott RyanGlScott
@umitanuki
Hitoshi Harada umitanuki

Alpaca California

@shirou
shirou shirou

Tokyo

@sile
Takeru Ohta sile

Tokyo, Japan

@lehins
Alexey Kuleshevich lehins
Software Engineer at IOHK

@input-output-hk Colorado

@nagadomi
nagadomi

Tokyo, Japan

@cartazio
Carter Tazio Schonwald cartazio

wellposed.com NYC, USA

@Nnwww
Haruka Oikawa Nnwww

Japan

@int-index
Vladislav Zavialov int-index

@serokell

@kcsongor
Csongor Kiss kcsongor
dysfunctional programmer

London, United Kingdom

@herumi
MITSUNARI Shigeo herumi
@tmcdonell
Trevor L. McDonell tmcdonell
@nrc
Nick Cameron nrc
Formerly Rust at @microsoft, @rust-lang core team, @pingcap, @mozilla.

Wellington, NZ

@BurntSushi
Andrew Gallant BurntSushi
I love to code.

@astral-sh Marlborough, MA

@phadej
Oleg Grenrus phadej

Well-Typed LLP Helsinki, Finland

@nikivazou
Niki Vazou nikivazou
Research Assistant Professor and Haskeller

IMDEA Madrid

@brendanhay
Brendan Hay brendanhay

Nelson, New Zealand

@asayers
Alex Sayers asayers

Tsuru Capital Tokyo, Japan

@jroesch
Jared Roesch jroesch
CTO @ OctoML, PMC @ Apache TVM, PhD @ UW. Previously Rustc, Lean & F* hacker.

NVIDIA Seattle, Washington

@karlrupp
Karl Rupp karlrupp

Computational Scientist Vienna, Austria

@benoitsteiner
Benoit Steiner benoitsteiner
@osa1
Ömer Sinan Ağacan osa1
I like programming languages and compilers. Working on @dart-lang at @google.

Google London

@takenobu-hs
Takenobu Tani takenobu-hs
@sdiehl
Stephen Diehl sdiehl
I build software.

London

@mikeizbicki
Mike Izbicki mikeizbicki

Claremont McKenna College Claremont, CA

@awodey
Steve Awodey awodey

CMU Pittsburgh PA

@treeowl
David Feuer treeowl
@pirapira
Yoichi Hirai pirapira
Using this account for activities of Flamingo Ponderado Unipessoal LDA since 2025-07-09.

Flamingo Ponderado Unipessoal LDA Europe

@pfq
Nicola Bonelli pfq

Pisa

@gelisam
Samuel Gélineau gelisam
Haskeller

well.co Montréal

@adamgundry
Adam Gundry adamgundry

Well-Typed LLP @well-typed