Bodigrim / smallcheckLinks
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
Sorting:
- Inspection Testing for Haskell☆176Updated 5 months ago
- Fast binary serialization in Haskell☆109Updated 5 months ago
- Generic Programming using True Sums of Products☆163Updated 4 months ago
- Regex-based parsing with an applicative interface☆130Updated 3 years ago
- ☆75Updated 3 months ago
- constraint level if statements☆116Updated 7 years ago
- Check properties on standard classes and data structures☆79Updated last year
- Efficient, pure binary serialisation using ByteStrings in Haskell.☆110Updated 4 months ago
- Refinement types with static checking☆186Updated 5 months ago
- Alternative API for processes, featuring more type safety☆111Updated last month
- Composable, streaming, and efficient left folds☆167Updated 4 months ago
- Measure allocations of a Haskell functions/values☆95Updated 7 months ago
- Safe, consistent, and easy exception handling☆135Updated last year
- Type classes for mapping, folding, and traversing monomorphic containers☆157Updated 2 months ago
- Fast Haskell XML parser☆123Updated last year
- Validity and validity-based testing☆160Updated last week
- Detect dead exports or package imports☆123Updated 4 years ago
- Benchmarks for dictionary data structures: hash tables, maps, tries, etc.☆97Updated 3 years ago
- A utility for displaying the module dependencies of Haskell programs.☆183Updated 10 months ago
- Monad Transformers and Classes☆77Updated 5 years ago
- Describe Haskell code in GHCi☆72Updated 7 years ago
- Use Template Haskell to embed file contents directly.☆97Updated 3 months ago
- An optimized general monad transformer for streaming applications, with a simple prelude of functions☆106Updated 6 years ago
- Haskeline wrapper for GHCi-like REPL interfaces☆107Updated 2 weeks ago
- A Dynamic Reconfiguration Library for Haskell Programs☆93Updated last year
- The Haskell Refactoring Tool☆138Updated 7 years ago
- haskell lazy evaluation illustrated☆72Updated 8 years ago
- Generic random generators☆81Updated 2 years ago
- A structured logging framework for Haskell☆206Updated 4 months ago
- Notes on space leaks☆101Updated 4 years ago