Block or report user

Report or block josefs

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. Gradualizer

    Erlang 92 5

  2. DSL-tutorial

    Haskell 4

  3. STMonadTrans

    Haskell 4

  4. CodeExtract

    Haskell 3 1

  5. pandoc

    Forked from jgm/pandoc

    Universal markup converter

    Haskell 2 1

  6. sbv

    Forked from LeventErkok/sbv

    Symbolic Bit Vectors in Haskell. Express properties about bit-precise Haskell programs and automatically prove them using SMT solvers.

    Haskell 1

354 contributions in the last year

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

Contribution activity

September 2018

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