Block or report user

Report or block andykitchen

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. before-it-was-cool

    Star this repository before it was cool

    HTML 12

  2. linear-logic

    Linear logic theorem prover and proof explorer

    TeX 7 1

  3. deco

    A magical programming language

    Haskell 6

  4. curry-howard-iso

    Example of the Curry Howard isomorphism

    Haskell 5 2

  5. rasta

    Parser and AST builder

    Ruby 4

  6. SYN-app

    SYN Radio iPhone App (Youth radio station for Melbourne, Australia)

    Objective-C 3 1

4 contributions in the last year

Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Mon Wed Fri

Contribution activity

June - July 2018

andykitchen has no activity yet for this period.

May 2018

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