Block or report user
  • France / Luxembourg
  • Joined on Oct 21, 2011

Popular repositories

  1. UnionType

    UnionType in Idris

    2 Idris

  2. J2S

    A library for boardgames in Haskell

    1 Haskell

  3. lambdacula

    Forked from Raveline/lambdacula

    Zork-like game made in haskell. Work in progress. (And I'm somewhat of a Haskell virgin. Be gentle.).

    0 Haskell


    0 HTML

  5. nats

    Forked from ekmett/nats

    Haskell 98 Natural Numbers

    0 Haskell

  6. smoothmail

    Forked from blackheaven/smoothmail

    An attempt to provide a smooth mail DSL

    0 Haskell

262 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub