Block or report user

Organizations

@irreverent-pixel-feats @haskell-mafia

Popular repositories

  1. fp-in-idris

    Functional Programing in Scala (in Idris) [Idris]

    Idris 16 2

  2. hs-geojson

    GeoJSON parsing library [Haskell]

    Haskell 15 10

  3. cassava-conduit

    Conduit interface for cassava [Haskell]

    Haskell 5 2

  4. logic-idris

    proposition combinators in [Idris]

    Idris 4

  5. missing-py2

    Forked from jgoerzen/missingpy

    Support for calling Python [Haskell]

    Haskell 2

  6. haskell-coq

    Common Haskell type classes written up in the Coq (GALLINA) theorem prover language for proving properties about Haskell data types and functions [Coq]

    Coq 2

582 contributions in the last year

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

Contribution activity First issue First repository Joined GitHub

April 2018

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