Skip to content
View doyougnu's full-sized avatar
65 followers · 79 following

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pair Extraordinairex2Achievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pair Extraordinairex2Achievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Block or report doyougnu

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
@wouter-swierstra
Wouter Swierstra wouter-swierstra

Universiteit Utrecht Utrecht, the Netherlands

@andreabedini
Andrea Bedini andreabedini
Haskell / Nix / Build Systems / DevEx. Theoretical physicist, experimental mathematician, or something in between. Strangely attracted by old codebases.

@tweag Perth, Australia

@azizghuloum
Abdulaziz Ghuloum azizghuloum
@mihanus
Michael Hanus mihanus
Professor of Computer Science

Kiel University Kiel, Germany

@janvitek
Jan Vitek janvitek

Northeastern University Boston

@andysonnenburg
Andy Sonnenburg andysonnenburg

Ashland, Massachusetts

@augustss
Lennart Augustsson augustss

Gothenburg, Sweden

@mpscholten
Marc Scholten mpscholten

@digitallyinduced Palo Alto, CA

@effectfully
effectfully
@wavewave
Ian-Woo Kim wavewave

San Francisco, CA, USA

@wraithm
Matthew Wraith wraithm
CTO at Bitnomial

@bitnomial

@BinderDavid
David Binder BinderDavid
Researcher in type theory and programming languages

University of Kent Canterbury, UK

@ch1bo
Sebastian Nagel ch1bo
I am freelance software engineer, get excited about functional programming languages and currently work on projects in the blockchain space.

Somewhere in the Alps, Austria

@luite
Luite Stegeman luite
@mgmeier
Michael Karg mgmeier

@input-output-hk @IntersectMBO Berlin, Germany

@chreekat
Bryan Richter chreekat
Haskell space cadet 🚀

Helsinki

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

Montreuil

@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

@mmhat
Mann mit Hut mmhat
@alt-romes
Rodrigo Mesquita alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else

Well-Typed LLP @ GHC Team Portugal

@cartazio
Carter Tazio Schonwald cartazio

wellposed.com NYC, USA

@angerman
Moritz Angermann angerman
type masseur

@input-output-hk Singapore, Singapore

@serras
Alejandro Serrano serras
Engineer, functional programming passionate, author of 'FP for the Curious Kotliner', 'Haskell (Almost) Std. Libs.', 'Book of Monads', and 'Practical Haskell'

@JetBrains Utrecht, Netherlands

@hasufell
Julian Ospald hasufell
Haskell freelancer, Opensource enthusiast.

Durian Consulting Pte. Ltd. Taipei

@countvajhula
Siddhartha Kasivajhula countvajhula

Oakland, CA

@hsyl20
Sylvain Henry hsyl20

Poitiers, France

@nomeata
Joachim Breitner nomeata

Lean FRO Freiburg, Germany

@ezyang
Edward Z. Yang ezyang

New York, NY

@sgraf812
Sebastian Graf sgraf812

Karlsruhe, Germany

@sjakobi
Simon Jakobi sjakobi

Leipzig, Germany

@bgamari
Ben Gamari bgamari
I enjoy compilers, hiking, and bicycling

Well Typed LLP Portsmouth, NH, United States

@MrBly
Colin MrBly
Cyber/AI researcher at CSET | Georgetown.

CSET DC

@glee2429
Claire Lee glee2429
Building something new ✨🧬🌍

San Francisco

@dybvig
R. Kent Dybvig dybvig
@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

@mickeynp
Mickey Petersen mickeynp
Technical architect, software developer and consultant specialising in data, systems development and Python

London

@vmchale
Vanessa McHale vmchale
Programmer
@parsonsmatt
Matt Parsons parsonsmatt

@mercurytechnologies Denver, CO

@webyrd
William E. Byrd webyrd

University of Alabama at Birmingham Cambridge, MA

@jsiek
Jeremy G. Siek jsiek
Professor at Indiana University

Indiana University Bloomington, IN

@LeventErkok
Levent Erkök LeventErkok

Portland, OR

@akeep
Andy Keep akeep

Facebook Redmond, WA

@meghasin
Meghamala Sinha meghasin

Oregon State University Corvallis, United States

@edolstra
Eelco Dolstra edolstra

Determinate Systems @DeterminateSystems Utrecht, Netherlands

@fare
François-René Rideau fare
Cybernethics Houyhnhnm Computing https://ngnghm.github.io

Lair of the French Resistance

@SRechenberger
Sascha Rechenberger SRechenberger
Computer Science PhD Student

Ulm University Ulm

@feeley
Marc Feeley feeley

Université de Montréal Montréal, Canada

@mfelleisen
Matthias Felleisen mfelleisen

PLT Boston

@h3ssto
Tobias Heß h3ssto

University of Ulm Ulm, Germany

@pmbittner
Paul Bittner pmbittner
Research assistant and PhD student | Likes Agda, Agdq, ADTs, ASTs, MtG

@TUBS-ISF Würzburg