Alternatives and similar repositories for validity:

Users that are interested in validity are comparing it to the libraries listed below

• i-am-tom / higgledy
  Higher-kinded data via generics
  ☆170Updated 4 months ago
• nikita-volkov / refined
  Refinement types with static checking
  ☆186Updated 3 weeks ago
• tweag / capability
  Extensional capabilities and deriving combinators
  ☆215Updated 6 months ago
• fpco / unliftio
  The MonadUnliftIO typeclass for unlifting monads to IO
  ☆150Updated 3 months ago
• Gabriella439 / foldl
  Composable, streaming, and efficient left folds
  ☆163Updated this week
• haskell-perf / dictionaries
  Benchmarks for dictionary data structures: hash tables, maps, tries, etc.
  ☆96Updated 3 years ago
• nomeata / inspection-testing
  Inspection Testing for Haskell
  ☆174Updated 2 weeks ago
• Soostone / katip
  A structured logging framework for Haskell
  ☆207Updated 4 months ago
• fpco / typed-process
  Alternative API for processes, featuring more type safety
  ☆110Updated 4 months ago
• Gabriella439 / optparse-generic
  Auto-generate a command-line parser for your datatype
  ☆210Updated 11 months ago
• ndmitchell / weeder
  Detect dead exports or package imports
  ☆124Updated 4 years ago
• ndmitchell / debug
  Haskell library for debugging
  ☆122Updated 5 years ago
• fpco / safe-exceptions
  Safe, consistent, and easy exception handling
  ☆135Updated last year
• plaidfinch / ComonadSheet
  A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…
  ☆155Updated 3 years ago
• haskell-perf / sequences
  Benchmarks for sequence data structures: lists, vectors, etc.
  ☆88Updated 2 years ago
• fpco / weigh
  Measure allocations of a Haskell functions/values
  ☆93Updated 2 months ago
• well-typed / generics-sop
  Generic Programming using True Sums of Products
  ☆161Updated last week
• Bodigrim / smallcheck
  Test your Haskell code by exhaustively checking its properties
  ☆136Updated last year
• knupfer / type-of-html
  High performance type safe html generation
  ☆126Updated 2 years ago
• serokell / importify
  Importi.fy — it's like Uber, but for Haskell modules.
  ☆104Updated 6 years ago
• UnkindPartition / regex-applicative
  Regex-based parsing with an applicative interface
  ☆130Updated 3 years ago
• lexi-lambda / freer-simple
  A friendly effect system for Haskell
  ☆229Updated 8 months ago
• lexi-lambda / mtl-style-example
  A small example of using mtl style to unit test effectful code
  ☆106Updated 7 years ago
• mikeizbicki / ifcxt
  constraint level if statements
  ☆110Updated 7 years ago
• yav / graphmod
  A utility for displaying the module dependencies of Haskell programs.
  ☆183Updated 6 months ago
• theam / tintin
  📚 A softer alternative to Haddock
  ☆105Updated 4 years ago
• ndmitchell / extra
  Extra Haskell functions
  ☆94Updated 3 weeks ago
• digital-asset / ghc-lib
  The GHC API, decoupled from GHC versions
  ☆161Updated last week
• ocharles / weeder
  A re-implementation of weeder using HIE files
  ☆170Updated 2 months ago
• aisamanra / haddock-cheatsheet
  ☆103Updated 4 years ago