Skip to content
View copumpkin's full-sized avatar
💭
Mostly unresponsive these days
💭
Mostly unresponsive these days
644 followers · 141 following

Achievements

Achievement: Mars 2020 ContributorAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx3

Achievements

Achievement: Mars 2020 ContributorAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx3

Organizations

@agda @haskell @NixOS @analytics

Block or report copumpkin

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
@johspaeth
Johannes Späth johspaeth
@StevenArzt
Steven Arzt StevenArzt

Fraunhofer SIT

@leepike
Lee Pike leepike

Portland, Oregon, USA

@varming
Carsten Varming varming
A bit of software ∧ logic

@databricks Brooklyn, New York

@joelthompson
Joel Thompson joelthompson
@flippac
flippac
@dpiponi
Dan Piponi dpiponi
Using an IBM Port-a-Punch I wrote my first program in Fortran in around 1978.

San Anselmo, CA, USA

@abiggerhammer
Meredith L. Patterson abiggerhammer

Belgium

@dcoutts
Duncan Coutts dcoutts

Well-Typed

@derekelkins
Derek Elkins derekelkins
@twanvl
Twan van Laarhoven twanvl

The Netherlands

@pcapriotti
Paolo Capriotti pcapriotti
Senior Haskell Developer at Wire. Previously I was a postdoc at TU Darmstadt. Before that I was a postdoc at University of Nottingham.

Wire Fermo, Italy

@txa
Thorsten Altenkirch txa

The University of Nottingham Nottingham, UK

@gallais
G. Allais gallais

Glasgow, Scotland

@puffnfresh
Brian McKenna puffnfresh
λ

Launceston & North East Railway Tasmania, Australia

@tomprince
Tom Prince tomprince
@folone
George Leontiev folone

@reddit Edinburgh, UK

@JacquesCarette
Jacques Carette JacquesCarette

McMaster University Hamilton, Ontario, Canada

@liyang
Liyang HU liyang

London

@dmwit
Daniel Wagner dmwit

Fabric Cryptography Falls Church, VA

@rleshchinskiy
Roman Leshchinskiy rleshchinskiy

London, UK

@pigworker
Conor McBride pigworker

Glasgow

@dlicata335
Dan Licata dlicata335
@KenCoder
KenCoder
@TheSultan
Hassan Sultan TheSultan
@toothbrush
paul david toothbrush
🏝️ 🐊

@redbubble & @TeePublic Australia

@gbaz
gbaz
@cartazio
Carter Tazio Schonwald cartazio

wellposed.com NYC, USA

@sheaf
sheaf sheaf
Cohomology enthusiast. I've seen rings you people wouldn't believe.
@wavewave
Ian-Woo Kim wavewave

San Francisco, CA, USA

@pikhq
Ada Worcester pikhq

Denver, CO

@dolio
dolio
@mchakravarty
Manuel M T Chakravarty mchakravarty
Lambda Scientist

Utrecht

@aturon
Aaron Turon aturon
Engineer at Fastly, working on Compute

Fastly Portland, OR, USA

@lilac
lilac
@igfoo
Ian Lynagh igfoo
@awodey
Steve Awodey awodey

CMU Pittsburgh PA

@cmwdotme
cmw cmwdotme

cmw inc New York

@mikeshulman
Mike Shulman mikeshulman

University of San Diego San Diego, CA

@andrejbauer
Andrej Bauer andrejbauer
Professor of computational mathematics

University of Ljubljana Slovenia

@simonmar
Simon Marlow simonmar

Cambridge, UK

@mokus0
mokus0
@simonpj
Simon Peyton Jones simonpj

Epic Games

@HeinrichApfelmus
Heinrich Apfelmus HeinrichApfelmus

Leipzig

@lowasser
Louis Wasserman lowasser
I am the Kotlin lead on the Java and Kotlin Ecosystem team at Google, which organizes libraries, frameworks, and the language ecosystem as a whole.

@google Mountain View, CA

@byorgey
Brent Yorgey byorgey
Open-source Haskell developer, educator, blogger, and competitive programmer.

Hendrix College Conway, AR, USA

@bobatkey
Bob Atkey bobatkey

Edinburgh, UK

@hsenag
Ganesh Sittampalam hsenag

United Kingdom

@UlfNorell
Ulf Norell UlfNorell
@kmcallister
Keegan McAllister kmcallister

San Francisco, CA