chris-martin / haskell-libraries

Related projects: ⓘ

• UnkindPartition / monad-classes
  A more flexible mtl
  ☆64Updated 6 years ago
• dorchard / type-level-sets
  Type-level sets for Haskell (with value-level counterparts and various operations)
  ☆66Updated 9 months ago
• Gabriel439 / haskell-in-the-large
  A book about large-scale design in Haskell
  ☆75Updated 9 years ago
• aaronlevin / free-vl
  van Laarhoven Free Monad with Extensible Effects
  ☆24Updated 8 years ago
• gelisam / conway
  Demonstrating comonad transformers.
  ☆36Updated 7 years ago
• alanz / machines-play
  Playing with https://github.com/ekmett/machines
  ☆51Updated 7 years ago
• paf31 / purescript-derive-lenses
  A little utility to derive lenses and prisms for data types in PureScript
  ☆41Updated 7 years ago
• dorchard / codo-notation
  Codo notation for programming with comonads in Haskell
  ☆26Updated 3 years ago
• pigworker / Saturday
  being a thing I build on a Saturday
  ☆28Updated 6 years ago
• maxigit / Metamorphosis
  TemplateHaskell functions to generate types and converter function.
  ☆18Updated 8 months ago
• Gabriel439 / Haskell-Bears-Library
  Relational algebra
  ☆25Updated 7 years ago
• christian-marie / servant-purescript
  (defunct) Purescript client code generation for Servant
  ☆27Updated 8 years ago
• sdiehl / paris-fp
  Paris Functional Programming Meetup
  ☆27Updated 4 years ago
• chrisdone / present
  Make presentations for data types
  ☆25Updated 2 years ago
• jkarni / verdict
  ☆26Updated 8 years ago
• SamuelSchlesinger / gaia
  An experiment in functional interface design
  ☆23Updated 7 years ago
• Gabriella439 / Haskell-Total-Library
  Exhaustive pattern matching using lenses, traversals, and prisms
  ☆32Updated 2 years ago
• effectfully / prefolds
  Composable monadic short-circuiting streaming folds
  ☆19Updated 6 years ago
• isovector / suavemente
  an applicative functor that seamlessly talks to HTML inputs
  ☆73Updated 5 years ago
• plaidfinch / GQFC
  Source material for "Functional Pearl: Getting a Quick Fix on Comonads"
  ☆45Updated 6 years ago
• yamadapc / yesod-servant-example
  Example of embedding Servant within a Yesod Application
  ☆15Updated 8 years ago
• tranma / shitty-complexity
  complexity testing for haskell
  ☆47Updated 8 years ago
• rampion / kinder-functor
  An alternate definition of Haskell's Functor typeclass
  ☆42Updated 5 years ago
• iand675 / ghcjs-react
  React.js for GHCJS
  ☆27Updated 7 years ago
• chpatrick / codec
  Easy bidirectional serialization in Haskell
  ☆50Updated 5 years ago
• i-am-tom / oops
  Classy error-handling (and dispatching!) in Haskell.
  ☆48Updated 5 years ago
• haskell-trasa / trasa
  Safe web routing in haskell
  ☆30Updated last year
• ElvishJerricco / servant-router
  ☆32Updated 6 years ago
• chpatrick / solga
  Simple typesafe routing
  ☆44Updated 2 years ago
• int-index / union
  Extensible type-safe unions for Haskell
  ☆31Updated last week