Block or Report
Block or report puffnfresh
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse
Daniel Öster
dalathegreat
📜 Automation Engineer (Bsc),
🌱 Plant based
⚙️ Reverse engineering specialist
🔋🚗 Extending Electric vehicle lifecycles
Dala's EV Repair Vaasa, Finland
Robert Massaioli
robertmassaioli
A software developer trying to make the world a better place.
Australia
kenji yoshida
xuwei-k
Tokyo
Greg Pfeil
sellout
Designing terrible languages and writing Haskell. Sometimes writing code to help my other pursuits … like skiing or telling time.
Boulder, CO, USA
Phil Freeman
paf31
Original developer of the PureScript compiler, author of http:https://leanpub.com/purescript, Haskeller, PLT enthusiast.
Los Angeles, CA
Stephanie Weirich
sweirich
Wish I had more time to code. And by code, I mean prove things.
University of Pennsylvania Philadelphia
Jon Sterling
jonsterling
Associate Professor in Logical Foundations and Formal Methods
University of Cambridge Cambridge, Cambridgeshire, UK
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
John Wiegley
jwiegley
Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.
@kadena-io California, USA
Philip Wadler
wadler
Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK.
University of Edinburgh Edinburgh
Tim Baumann
timjb
Interested in type theory, category theory and concurrent collaborative editing.
@TNG Technology Consulting GmbH Augsburg, Europe
Lars Hupel
larsrh
evangelizing things | “absurd enthusiasm for trains, electoral systems, and bureaucracy”
Giesecke+Devrient München
Stephan Seidt
seidtgeist
Building something new 👀
Past: Founding Eng @contentful, Staff Eng @copperinc, JS Proto-Hipster @uxebu, @ideo
Seidt Business Berlin, Germany
PreviousNext