Block or report user

Pinned repositories

  1. conjure-cp/EssenceCatalog

    A collection of problem specifications in Essence.

    Shell 1

  2. csplib/csplib

    A benchmark library for constraints

    Prolog 24 38

  3. dlrep/dlrep

    Data Linkage Repository -

    Python 3

  4. idris-lang/Idris-dev

    A Dependently Typed Functional Programming Language

    Haskell 1.6k 411

  5. minion-hs

    Low level Haskell bindings to Minion

    Haskell 1

1,719 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

February 2017

23 contributions in private repositories Feb 1 – Feb 23

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