Skip to content
View danieljharvey's full-sized avatar

Highlights

  • Pro

Block or report danieljharvey

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
@samwho
Sam Rose samwho

@ngrok United Kingdom

@lnmangione
Luigi Mangione lnmangione
M.S.E. and B.S.E. in Computer Science @ University of Pennsylvania

AppRoar Studios

@SamirTalwar
Samir Talwar SamirTalwar
Unless otherwise specified, all my repositories are bound by the Contributor Covenant (https://www.contributor-covenant.org/version/2/1).

ZΓΌrich, Switzerland

@luc-tielen
Luc Tielen luc-tielen
Interested in functional programming, compilers and logic. Mainly working on Eclair, a high performance Datalog that compiles to LLVM.

Lambda Tech Belgium

@adamchalmers
Adam Chalmers adamchalmers
Australian, static typing enthusiast, formerly @cloudflare.

@KittyCAD Austin, Texas

@raehik
Ben Orchard raehik
reads and writes computer

@artificialio computer

@Thrithralas
MΓ‘rton Petes Thrithralas
Lean and Haskell enthusiast. CS Student at ELTE.

ELTE Faculty of Informatics, Department of Programming Languages and Compilers Budapest, Hungary

@withoutboats
srrrse withoutboats
In civilizations without boats, dreams dry up, espionage takes the place of adventure, and police take the place of pirates.

Berlin

@imperfect-fourth
Divyansh Verma imperfect-fourth

Indian Institute of Technology, Delhi Delhi

@beaussan
Nicolas Beaussart beaussan
Senior staff eng @ PayFit

PayFit France

@Wilfred
Wilfred Hughes Wilfred
PL enthusiast, Emacs addict, and an advocate for human factors.

London, UK

@osa1
Γ–mer Sinan Ağacan osa1
I like programming languages and compilers. Working on @dart-lang at @google.

Google London

@eudoxia0
Fernando Borretti eudoxia0
Interests: compilers, programming language theory, chemistry, atomically-precise manufacturing, formal systems.

Sydney, Australia

@yorickpeterse
Yorick Peterse yorickpeterse
Author of the Inko programming language. Before that: Staff backend engineer at GitLab.

The Netherlands

@ospencer
Oscar Spencer ospencer
Co-author of the Grain programming language & empowering developers through WebAssembly πŸ€“

Austin, TX

@scriptnull
Vishnu Bharathi scriptnull
var self = this;

@hasura India

@RamonBalthazar
Ramon Balthazar RamonBalthazar

@shiftlabai London, United Kingdom

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

Vancouver, BC

@paf31
Phil Freeman paf31
Original developer of the PureScript compiler, author of http://leanpub.com/purescript, Haskeller, PLT enthusiast.

Los Angeles, CA

@solomon-b
Solomon solomon-b

Bitnomial Los Angeles

@m-bock
Michael Bock m-bock
Visonum (since 2023), @CirclesUBI (2021/22), @paritytech (2021), @coyainsurance (2018/19) ... #PureScript, #Haskell, #Nix, #TypeScript, #Rust, #Kotlin

Berlin

@mrtnxby
Martin Oxby mrtnxby
Software Engineer

London, United Kingdom

@rtfeldman
Richard Feldman rtfeldman
Creator of the Roc programming language. Author of Elm in Action.

Philadelphia, PA

@hallettj
Jesse Hallett hallettj
Software Engineer @hallettj@hachyderm.io

Hasura Bay Area, CA

@matt2112
Matt Lewis matt2112
Hi I'm a software and web developer. View my (old) portfolio below.

@NetPurpose London, UK

@jonathanlking
Jonathan King jonathanlking
I'm interested in functional programming and programming languages.

London

@bighuggies
Andrew Hughson bighuggies
πŸ‡¬πŸ‡§ πŸ‡³πŸ‡Ώ

@BulbEnergy United Kingdom

@mikebryant
Mike Bryant mikebryant

@eeveebank Broxbourne, UK

@edwarddamato
Edward D'Amato edwarddamato
Senior Software Engineer at @pleo-io

@pleo-io Malta

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

University of Edinburgh Edinburgh

@garybernhardt
Gary Bernhardt garybernhardt

Destroy All Software LLC Seattle, WA

@sinistamunkey
Gary Prescott sinistamunkey
Gary was born at a very young age and grew up to be older and taller. A lover of Python and computer games, is an all round nerd.

@mpb-com Brighton, UK

@mnahkies
Michael Nahkies mnahkies
Full stack developer from New Zealand, currently based in London. Passionate about software development of all forms.

@BulbEnergy London, United Kingdom

@VictorTaelin
Victor Taelin VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.

Higher Order Company Rio de Janeiro, Brazil

@BooleanCat
Tom Godkin BooleanCat
Head of Engineering @ Sano Genetics

Sano Genetics London

@jamesdbrock
James Brock jamesdbrock

@xc-jp Yokohama, Japan