Block or report user

Popular repositories

  1. stl_parser

    A simple parser for binary .stl files

    C++ 7

  2. Folly

    First order logic in Haskell

    Haskell 5 2

  3. DifferenceLogic

    A theory solver for difference logic

    Haskell 2 2

  4. gmeans

    C++ 1

  5. GGP

    Haskell code for general game playing

    Haskell 1

  6. LambdaCalculus

    Haskell interpreter for lambda calculus

    Haskell 1 1

2,298 contributions in the last year

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

Contribution activity First issue First repository Joined GitHub