Skip to content
Avatar
💭
Mostly unresponsive these days
💭
Mostly unresponsive these days
  • Block or report user

    Block or report copumpkin

    Block user

    Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

    Report abuse

    Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

    Report abuse
543 followers · 141 following · 277

Highlights

  • Arctic Code Vault Contributor

Organizations

@agda @haskell @NixOS @awslabs @analytics

Popular repositories

  1. categories

    Categories parametrized by morphism equality, in Agda

    Agda 137 26

  2. java

    A Haskell library for manipulating Java class files

    Haskell 15 5

  3. charm

    (Eventually) a reasonably complete ARM implementation in Haskell

    Haskell 13 2

  4. ida-scripts

    A collection of IDA scripts

    Python 13 1

  5. nixpkgs

    Forked from NixOS/nixpkgs

    Nix Packages collection

    Nix 9 1

  6. shaped

    A slightly different flavor of generic programming

    Haskell 8 1

25 contributions in the last year

Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri
Learn how we count contributions.
Less
More

Contribution activity

September - November 2020

copumpkin has no activity yet for this period.

August 2020

Created 1 repository

Created an issue in CROSSINGTUD/SPDS that received 10 comments

Understanding Boomerang forward queries

Hi! I put together a minimal example to illustrate my confusion: import java.util.LinkedList; import java.util.List; class Foo { void bar() { Syste…

10 comments
Opened 3 other issues in 3 repositories

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.