Alternatives and similar repositories for validity

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

• ndmitchell / weeder
  Detect dead exports or package imports
  ☆124Updated 5 years ago
• nomeata / inspection-testing
  Inspection Testing for Haskell
  ☆189Updated last month
• tweag / capability
  Extensional capabilities and deriving combinators
  ☆221Updated 3 weeks ago
• Gabriella439 / foldl
  Composable, streaming, and efficient left folds
  ☆168Updated 9 months ago
• i-am-tom / higgledy
  Higher-kinded data via generics
  ☆170Updated last year
• jaspervdj / profiteur
  Visualiser for Haskell (GHC) prof files
  ☆199Updated 2 years ago
• haskell-perf / dictionaries
  Benchmarks for dictionary data structures: hash tables, maps, tries, etc.
  ☆98Updated 3 years ago
• ndmitchell / debug
  Haskell library for debugging
  ☆122Updated 6 years ago
• well-typed / generics-sop
  Generic Programming using True Sums of Products
  ☆163Updated 3 months ago
• ocharles / weeder
  A re-implementation of weeder using HIE files
  ☆181Updated 3 months ago
• evertedsphere / silica
  optics for Haskell with the most amazing type errors you've seen
  ☆243Updated 5 years ago
• fpco / typed-process
  Alternative API for processes, featuring more type safety
  ☆113Updated 7 months ago
• well-typed / visualize-cbn
  ☆99Updated 4 months ago
• mpickering / apply-refact
  Refactor Haskell source files
  ☆157Updated 9 months ago
• ndmitchell / record-dot-preprocessor
  A preprocessor for a Haskell record syntax using dot
  ☆130Updated last year
• serokell / importify
  Importi.fy — it's like Uber, but for Haskell modules.
  ☆103Updated 7 years ago
• digital-asset / ghc-lib
  The GHC API, decoupled from GHC versions
  ☆162Updated 3 weeks ago
• judah / pier
  Yet another Haskell build system.
  ☆115Updated 5 years ago
• fpco / safe-exceptions
  Safe, consistent, and easy exception handling
  ☆135Updated 2 years ago
• kowainik / typerep-map
  ⚡️Efficient implementation of Map with types as keys
  ☆101Updated last year
• ChrisPenner / lens-regex-pcre
  Text lenses using PCRE regexes
  ☆128Updated 11 months ago
• Soostone / katip
  A structured logging framework for Haskell
  ☆211Updated 2 months ago
• fpco / unliftio
  The MonadUnliftIO typeclass for unlifting monads to IO
  ☆148Updated 2 months ago
• nikita-volkov / refined
  Refinement types with static checking
  ☆188Updated 10 months ago
• haskell-perf / sequences
  Benchmarks for sequence data structures: lists, vectors, etc.
  ☆90Updated 3 years ago
• haskellari / these
  An either-or-both data type, with corresponding hybrid error/writer monad transformer.
  ☆118Updated 5 months ago
• haskell / ThreadScope
  A graphical tool for profiling parallel Haskell programs
  ☆168Updated 5 months ago
• grin-compiler / haskell-code-spot
  Visual tool to spot odd runtime behaviour of Haskell programs.
  ☆109Updated 3 years ago
• Gabriella439 / optparse-generic
  Auto-generate a command-line parser for your datatype
  ☆212Updated last month
• knupfer / type-of-html
  High performance type safe html generation
  ☆128Updated 3 years ago