ndmitchell / derive

Related projects ⓘ

Alternatives and complementary repositories for derive

• camfort / reprinter
  Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring
  ☆26Updated 3 years ago
• goldfirere / ghc
  Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE
  ☆25Updated 6 years ago
• mokus0 / monad-loops
  Some useful control operators for looping
  ☆47Updated 4 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• tweag / distributed-closure
  Serializable closures for distributed programming.
  ☆65Updated 11 months ago
• isovector / do-notation
  deprecated in favor of -XQualifiedDo
  ☆41Updated 3 years ago
• ekmett / either
  the EitherT monad transformer
  ☆55Updated 6 months ago
• laurmcarter / type-combinators
  Type level lists, pairs, sums, their operations, and their properties.
  ☆24Updated 6 years ago
• SamuelSchlesinger / gaia
  An experiment in functional interface design
  ☆23Updated 8 years ago
• Gabriella439 / haskell-in-the-large
  A book about large-scale design in Haskell
  ☆75Updated 10 years ago
• gelisam / category-syntax
  do-notation for Category and "Arrow without arr"
  ☆63Updated 7 years ago
• osa1 / StrictCore
  An experimental intermediate language for GHC
  ☆37Updated 7 years ago
• Gabriella439 / Haskell-Errors-Library
  Type-safe error handling
  ☆64Updated last year
• basvandijk / regions
  Provides the region monad for safely opening and working with scarce resources
  ☆30Updated 9 years ago
• shayan-najd / MiniFeldspar
  ☆23Updated 9 years ago
• haskell-github-trust / thyme
  A faster date and time library based on time
  ☆46Updated last year
• erikd / jenga
  Generate a cabal freeze file from a stack.yaml
  ☆36Updated 6 years ago
• haskell-works / hw-json
  ☆49Updated last week
• tonymorris / validation
  ☆31Updated 3 years ago
• sdiehl / paris-fp
  Paris Functional Programming Meetup
  ☆27Updated 4 years ago
• UnkindPartition / monad-classes
  A more flexible mtl
  ☆64Updated 6 years ago
• plaidfinch / GQFC
  Source material for "Functional Pearl: Getting a Quick Fix on Comonads"
  ☆45Updated 6 years ago
• japesinator / Idris-Bifunctors
  A small bifunctor library for idris
  ☆21Updated 3 years ago
• yav / dump-core
  ☆45Updated 2 years ago
• parsonsmatt / monad-metrics
  haskell metrics
  ☆31Updated 4 months ago
• ekmett / distributive
  Dual Traversable
  ☆41Updated last year
• shachaf / ghc-core
  ☆39Updated 7 years ago
• dalaing / cofun
  Cofun with Cofree Comonads
  ☆30Updated 8 years ago
• gelisam / conway
  Demonstrating comonad transformers.
  ☆36Updated 8 years ago
• Gabriella439 / Haskell-Total-Library
  Exhaustive pattern matching using lenses, traversals, and prisms
  ☆32Updated 2 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆44Updated 5 months ago