Bodigrim / smallcheck
Test your Haskell code by exhaustively checking its properties
☆136Updated last year
Alternatives and similar repositories for smallcheck:
Users that are interested in smallcheck are comparing it to the libraries listed below
- Safe, consistent, and easy exception handling☆135Updated last year
- Inspection Testing for Haskell☆175Updated last month
- Check properties on standard classes and data structures☆79Updated last year
- Generic random generators☆81Updated last year
- Generic Programming using True Sums of Products☆161Updated last month
- Alternative API for processes, featuring more type safety☆110Updated 6 months ago
- Fast binary serialization in Haskell☆110Updated 2 months ago
- haskell lazy evaluation illustrated☆72Updated 7 years ago
- Refinement types with static checking☆186Updated 2 months ago
- Validity and validity-based testing☆160Updated last month
- An either-or-both data type, with corresponding hybrid error/writer monad transformer.☆117Updated last month
- Benchmarks for dictionary data structures: hash tables, maps, tries, etc.☆96Updated 3 years ago
- A Dynamic Reconfiguration Library for Haskell Programs☆93Updated last year
- A utility for displaying the module dependencies of Haskell programs.☆183Updated 7 months ago
- The Haskell Refactoring Tool☆136Updated 5 years ago
- ☆74Updated 7 months ago
- Notes on space leaks☆100Updated 4 years ago
- The MonadUnliftIO typeclass for unlifting monads to IO☆150Updated 4 months ago
- Measure allocations of a Haskell functions/values☆93Updated 3 months ago
- Composable, streaming, and efficient left folds☆164Updated last month
- ☆103Updated 4 years ago
- Describe Haskell code in GHCi☆71Updated 7 years ago
- Haskell 98 semigroups☆62Updated last year
- Benchmarks for sequence data structures: lists, vectors, etc.☆88Updated 3 years ago
- Regex-based parsing with an applicative interface☆130Updated 3 years ago
- Measuring CPU instructions in Haskell using Linux Performance Counters☆84Updated 6 years ago
- Yet another Haskell build system.☆115Updated 4 years ago
- A file watcher and development tool.☆129Updated 3 months ago
- Type classes for mapping, folding, and traversing monomorphic containers☆156Updated last month
- ☆77Updated 2 years ago