Skip to content
Avatar
💭
Mostly unresponsive these days
💭
Mostly unresponsive these days

Highlights

  • Arctic Code Vault Contributor

Organizations

@agda @haskell @NixOS @awslabs @analytics

Popular repositories

  1. Categories parametrized by morphism equality, in Agda

    Agda 137 26

  2. A Haskell library for manipulating Java class files

    Haskell 15 5

  3. (Eventually) a reasonably complete ARM implementation in Haskell

    Haskell 13 2

  4. A collection of IDA scripts

    Python 13 1

  5. Forked from NixOS/nixpkgs

    Nix Packages collection

    Nix 9 1

  6. 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

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.