NorfairKing / validity

Related projects ⓘ

Alternatives and complementary repositories for validity

• nikita-volkov / refined
  Refinement types with static checking
  ☆182Updated this week
• nomeata / inspection-testing
  Inspection Testing for Haskell
  ☆173Updated last month
• fpco / unliftio
  The MonadUnliftIO typeclass for unlifting monads to IO
  ☆151Updated last month
• haskell-perf / dictionaries
  Benchmarks for dictionary data structures: hash tables, maps, tries, etc.
  ☆95Updated 2 years ago
• tweag / capability
  Extensional capabilities and deriving combinators
  ☆213Updated 4 months ago
• fpco / weigh
  Measure allocations of a Haskell functions/values
  ☆93Updated 2 weeks ago
• Soostone / katip
  A structured logging framework for Haskell
  ☆205Updated 2 months ago
• Gabriella439 / foldl
  Composable, streaming, and efficient left folds
  ☆160Updated 2 months ago
• i-am-tom / higgledy
  Higher-kinded data via generics
  ☆170Updated 3 months ago
• ndmitchell / weeder
  Detect dead exports or package imports
  ☆124Updated 4 years ago
• jaspervdj / profiteur
  Visualiser for Haskell (GHC) prof files
  ☆193Updated last year
• snoyberg / mono-traversable
  Type classes for mapping, folding, and traversing monomorphic containers
  ☆155Updated 2 months ago
• ocharles / weeder
  A re-implementation of weeder using HIE files
  ☆169Updated 2 weeks ago
• target / row-types
  A Haskell library for open records and variants using closed type families and type literals
  ☆111Updated 2 years ago
• fpco / safe-exceptions
  Safe, consistent, and easy exception handling
  ☆134Updated last year
• fpco / typed-process
  Alternative API for processes, featuring more type safety
  ☆109Updated 3 months ago
• lexi-lambda / freer-simple
  A friendly effect system for Haskell
  ☆228Updated 6 months ago
• theam / tintin
  📚 A softer alternative to Haddock
  ☆104Updated 4 years ago
• rubik / argon
  Monitor cyclomatic complexity in Haskell programs
  ☆98Updated 5 years ago
• aisamanra / haddock-cheatsheet
  ☆104Updated 3 years ago
• serokell / importify
  Importi.fy — it's like Uber, but for Haskell modules.
  ☆104Updated 6 years ago
• snowleopard / selective
  Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically
  ☆201Updated 7 months ago
• ndmitchell / extra
  Extra Haskell functions
  ☆94Updated last month
• ChrisPenner / lens-regex-pcre
  Text lenses using PCRE regexes
  ☆126Updated 4 years ago
• composewell / streaming-benchmarks
  Benchmarks to compare Haskell streaming library performance
  ☆102Updated this week
• michaelt / streaming
  An optimized general monad transformer for streaming applications, with a simple prelude of functions
  ☆104Updated 6 years ago
• evertedsphere / silica
  optics for Haskell with the most amazing type errors you've seen
  ☆243Updated 4 years ago
• knupfer / type-of-html
  High performance type safe html generation
  ☆126Updated 2 years ago
• haskell-waargonaut / waargonaut
  JSON decoding/encoding/manipulation library.
  ☆94Updated 2 years ago
• lexi-lambda / mtl-style-example
  A small example of using mtl style to unit test effectful code
  ☆106Updated 7 years ago