Block or report user

Organizations

@discus-lang

Popular repositories

  1. limp

    ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming

    Haskell 11 2

  2. limp-cbc

    Coin-OR/CBC bindings for Haskell

    C++ 4 3

  3. folderol

    machine fusion

    Haskell 4

  4. coq

    Coq 3

  5. papers

    TeX 2

  6. game-pilot

    Haskell 2

418 contributions in the last year

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

Contribution activity

June 2018

19 contributions in private repositories Jun 4 – Jun 13

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