system-f / papa

Related projects ⓘ

Alternatives and complementary repositories for papa

• bitemyapp / hedgehog-checkers
  Like the checkers library, but for hedgehog. Common stuff you'd want to check.
  ☆22Updated 6 years ago
• scrive / log
  Structured logging solution.
  ☆35Updated last year
• haskell-trasa / trasa
  Safe web routing in haskell
  ☆30Updated last year
• erikd / jenga
  Generate a cabal freeze file from a stack.yaml
  ☆36Updated 6 years ago
• rampion / conkin
  Tools for functors from Hask^k to Hask
  ☆23Updated 5 years ago
• tfausak / grawlix
  Comment on Haskell documentation.
  ☆13Updated 5 years ago
• winterland1989 / data-has
  Simple extensible product
  ☆38Updated 3 years ago
• spinda / liquidhaskell-cabal
  💧 Liquid Haskell integration for Cabal and Stack
  ☆24Updated 5 years ago
• iijlab / postgresql-pure
  a PostgreSQL client library implemented with pure Haskell
  ☆36Updated 4 years ago
• k0001 / di
  Easy and powerful typeful logging without monad towers, in Haskell.
  ☆26Updated 6 months ago
• estatico / generic-override
  Override instances used by Haskell's generic derivation
  ☆30Updated 2 years ago
• isovector / do-notation
  deprecated in favor of -XQualifiedDo
  ☆41Updated 3 years ago
• SamuelSchlesinger / gaia
  An experiment in functional interface design
  ☆23Updated 8 years ago
• edwinb / IdrisApp
  An extensible IO-like monad-like thing for Idris, with support for including linear subprograms
  ☆22Updated 4 years ago
• bgamari / monoidal-containers
  Maps using values' monoidal structure during merging
  ☆42Updated 5 months ago
• Gabriella439 / Haskell-Total-Library
  Exhaustive pattern matching using lenses, traversals, and prisms
  ☆32Updated 2 years ago
• camfort / reprinter
  Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring
  ☆26Updated 3 years ago
• phadej / kleene
  Kleene algebra, regular expressions
  ☆32Updated last year
• jfdm / idris-xml
  A simple XML module for Idris.
  ☆13Updated 4 years ago
• cdepillabout / world-peace
  open union and open product types in Haskell
  ☆32Updated 4 years ago
• ekmett / distributive
  Dual Traversable
  ☆41Updated last year
• haskell-streaming / streaming-bytestring
  effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy
  ☆16Updated last month
• danidiaz / foldl-transduce
  ☆8Updated 3 years ago
• sellout / dredd
  Automatic type class law checking.
  ☆24Updated 11 months ago
• aaronlevin / free-vl
  van Laarhoven Free Monad with Extensible Effects
  ☆24Updated 8 years ago
• singpolyma / unexceptionalio
  IO without any PseudoExceptions
  ☆28Updated 4 years ago
• domenkozar / releaser
  Automation of Haskell package release process.
  ☆31Updated last year
• byteverse / chronos
  Haskell time library focusing on performance
  ☆54Updated 2 months ago
• qfpl / tasty-hedgehog
  Tasty integration for the Hedgehog property testing library
  ☆38Updated this week
• ekmett / either
  the EitherT monad transformer
  ☆55Updated 6 months ago