Bodigrim / smallcheck

Related projects: ⓘ

• fpco / typed-process
  Alternative API for processes, featuring more type safety
  ☆109Updated 3 weeks ago
• nomeata / inspection-testing
  Inspection Testing for Haskell
  ☆172Updated 2 months ago
• NorfairKing / validity
  Validity and validity-based testing
  ☆156Updated this week
• Gabriella439 / foldl
  Composable, streaming, and efficient left folds
  ☆158Updated 3 weeks ago
• Lysxia / generic-random
  Generic random generators
  ☆81Updated last year
• mgsloan / store
  Fast binary serialization in Haskell
  ☆109Updated 7 months ago
• RefactoringTools / HaRe
  The Haskell Refactoring Tool
  ☆139Updated 7 years ago
• ndmitchell / weeder
  Detect dead exports or package imports
  ☆124Updated 4 years ago
• takenobu-hs / lazy_evaluation
  haskell lazy evaluation illustrated
  ☆70Updated 7 years ago
• 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
• mikeizbicki / ifcxt
  constraint level if statements
  ☆110Updated 6 years ago
• kolmodin / binary
  Efficient, pure binary serialisation using ByteStrings in Haskell.
  ☆106Updated 4 months ago
• commercialhaskell / describe
  Describe Haskell code in GHCi
  ☆72Updated 7 years ago
• haskellari / these
  An either-or-both data type, with corresponding hybrid error/writer monad transformer.
  ☆117Updated last month
• UnkindPartition / regex-applicative
  Regex-based parsing with an applicative interface
  ☆129Updated 2 years ago
• haskell-github-trust / replace-megaparsec
  Stream editing with Haskell Megaparsec parsers
  ☆79Updated 3 months ago
• alanz / HaRe
  The Haskell Refactoring Tool
  ☆136Updated 4 years ago
• haskell-perf / dictionaries
  Benchmarks for dictionary data structures: hash tables, maps, tries, etc.
  ☆95Updated 2 years ago
• nikita-volkov / refined
  Refinement types with static checking
  ☆182Updated last month
• jberryman / unagi-chan
  A haskell library implementing fast and scalable concurrent queues for x86, with a Chan-like API
  ☆127Updated 2 years ago
• snoyberg / mono-traversable
  Type classes for mapping, folding, and traversing monomorphic containers
  ☆153Updated last week
• ndmitchell / spaceleak
  Notes on space leaks
  ☆101Updated 3 years ago
• ndmitchell / debug
  Haskell library for debugging
  ☆122Updated 5 years ago
• haskell-checkers / checkers
  Check properties on standard classes and data structures
  ☆79Updated 8 months ago
• ndmitchell / extra
  Extra Haskell functions
  ☆93Updated 4 months ago
• ekmett / semigroupoids
  ☆75Updated 2 months ago
• nomeata / ghc-proofs
  Let GHC prove program equations for you
  ☆145Updated 5 years ago
• aisamanra / haddock-cheatsheet
  ☆101Updated 3 years ago
• Bodigrim / tasty-bench
  Featherlight benchmark framework, drop-in replacement for criterion and gauge.
  ☆80Updated last month
• schell / steeloverseer
  A file watcher and development tool.
  ☆128Updated 6 months ago