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

Report or block copumpkin

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Organizations

@agda @haskell @NixOS @awslabs @analytics
Block or report user

Report or block copumpkin

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Popular repositories

  1. categories

    Categories parametrized by morphism equality, in Agda

    Agda 134 24

  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 12 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

28 contributions in the last year

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

Contribution activity

May 2020

Created an issue in Z3Prover/z3 that received 2 comments

rise4fun seems to be running extremely slowly

I'm not sure if this is the right venue to raise this but even loading the rise4fun homepage outside of the Z3 subdirectory is taking several minut…

2 comments

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

You can’t perform that action at this time.