Block or report user

Report or block j-mueller

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. hldb

    HLedger dashboard

    Haskell 2 1

  2. time-patterns

    Primitives and combinators for recurring dates

    Haskell 2

  3. language-agda

    Agda language support for VSCode, based on https://github.com/mokus0/Agda.tmbundle

    2 1

  4. mtg-builder

    Haskell meets MTG

    Haskell 2

  5. dpllt

    An implementation of aDPLLT algorithm in Haskell

    Haskell 1

  6. hdom-api

    Common interface for hdom stuff

    Haskell 1

567 contributions in the last year

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

Contribution activity

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