Bodigrim / smallcheckLinks
Test your Haskell code by exhaustively checking its properties
☆137Updated 4 months 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 11 months ago
- Alternative API for processes, featuring more type safety☆113Updated 8 months ago
- Efficient, pure binary serialisation using ByteStrings in Haskell.☆115Updated 10 months ago
- Haskell library for debugging☆122Updated 6 years ago
- Generic Programming using True Sums of Products☆164Updated 4 months ago
- Describe Haskell code in GHCi☆72Updated 8 years ago
- Safe, consistent, and easy exception handling☆135Updated 2 years ago
- Composable, streaming, and efficient left folds☆168Updated 10 months ago
- Detect dead exports or package imports☆125Updated 5 years ago
- Benchmarks for dictionary data structures: hash tables, maps, tries, etc.☆98Updated 4 years ago
- An either-or-both data type, with corresponding hybrid error/writer monad transformer.☆118Updated 6 months ago
- Let GHC prove program equations for you☆146Updated 7 years ago
- Regex-based parsing with an applicative interface☆131Updated 3 years ago
- Use Template Haskell to embed file contents directly.☆98Updated 9 months ago
- Inspection Testing for Haskell☆189Updated 2 months ago
- A haskell library implementing fast and scalable concurrent queues for x86, with a Chan-like API☆134Updated 4 years ago
- Notes on space leaks☆102Updated 5 years ago
- ☆78Updated 2 months ago
- Type classes for mapping, folding, and traversing monomorphic containers☆159Updated 8 months ago
- Haskell command line text stream processor☆87Updated 6 years ago
- Validity and validity-based testing☆161Updated last week
- Lean Haskell Benchmarking☆90Updated 3 years ago
- An optimized general monad transformer for streaming applications, with a simple prelude of functions☆107Updated 7 years ago
- Fast Haskell XML parser☆124Updated 2 years ago
- constraint level if statements☆117Updated 8 years ago
- Evaluation-orthogonal serialisation of Haskell data, as a library☆62Updated 11 months ago
- Visualize live Haskell data structures in GHCi☆141Updated last year
- A file watcher and development tool.☆129Updated last year
- haskell lazy evaluation illustrated☆72Updated 8 years ago
- Refinement types with static checking☆190Updated 11 months ago