Bodigrim / smallcheckLinks
Test your Haskell code by exhaustively checking its properties
☆136Updated 2 years ago
Alternatives and similar repositories for smallcheck
Users that are interested in smallcheck are comparing it to the libraries listed below
Sorting:
- Fast binary serialization in Haskell☆110Updated 6 months ago
- Generic Programming using True Sums of Products☆163Updated 5 months ago
- Refinement types with static checking☆185Updated 6 months ago
- Regex-based parsing with an applicative interface☆129Updated 3 years ago
- Inspection Testing for Haskell☆177Updated last week
- ☆77Updated 2 years ago
- Composable, streaming, and efficient left folds☆167Updated 5 months ago
- Safe, consistent, and easy exception handling☆136Updated last year
- Type classes for mapping, folding, and traversing monomorphic containers☆157Updated 2 months ago
- An either-or-both data type, with corresponding hybrid error/writer monad transformer.☆118Updated 3 weeks ago
- Alternative API for processes, featuring more type safety☆112Updated 2 months ago
- Detect dead exports or package imports☆123Updated 5 years ago
- Measure allocations of a Haskell functions/values☆96Updated 7 months ago
- Generic random generators☆81Updated 2 years ago
- Describe Haskell code in GHCi☆72Updated 7 years ago
- A utility for displaying the module dependencies of Haskell programs.☆182Updated 11 months ago
- Extra Haskell functions☆94Updated 5 months ago
- The missing tutorial module for the lens library☆82Updated last year
- Lean Haskell Benchmarking☆90Updated 2 years ago
- Notes on space leaks☆102Updated 4 years ago
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…☆156Updated 4 years ago
- A file watcher and development tool.☆130Updated 7 months ago
- Benchmarks for sequence data structures: lists, vectors, etc.☆90Updated 3 years ago
- Check properties on standard classes and data structures☆79Updated last year
- The Haskell Refactoring Tool☆136Updated 5 years ago
- Fragment-based code distribution!☆126Updated 4 years ago
- ☆75Updated 3 months ago
- haskell lazy evaluation illustrated☆72Updated 8 years ago
- Haskeline wrapper for GHCi-like REPL interfaces☆107Updated last month
- Stream editing with Haskell Megaparsec parsers☆79Updated last year