Bodigrim / smallcheckLinks
Test your Haskell code by exhaustively checking its properties
☆136Updated 2 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 9 months ago
- Alternative API for processes, featuring more type safety☆113Updated 5 months ago
- Haskell library for debugging☆122Updated 6 years ago
- Efficient, pure binary serialisation using ByteStrings in Haskell.☆114Updated 8 months ago
- Detect dead exports or package imports☆124Updated 5 years ago
- Benchmarks for dictionary data structures: hash tables, maps, tries, etc.☆97Updated 3 years ago
- Safe, consistent, and easy exception handling☆135Updated last year
- Generic Programming using True Sums of Products☆162Updated 2 months ago
- Describe Haskell code in GHCi☆72Updated 8 years ago
- A haskell library implementing fast and scalable concurrent queues for x86, with a Chan-like API☆131Updated 3 years ago
- An either-or-both data type, with corresponding hybrid error/writer monad transformer.☆118Updated 4 months ago
- Validity and validity-based testing☆161Updated 4 months ago
- A Dynamic Reconfiguration Library for Haskell Programs☆92Updated last month
- Regex-based parsing with an applicative interface☆131Updated 3 years ago
- Notes on space leaks☆102Updated 5 years ago
- ☆77Updated last week
- Type classes for mapping, folding, and traversing monomorphic containers☆159Updated 6 months ago
- Fast Haskell XML parser☆124Updated 2 years ago
- Use Template Haskell to embed file contents directly.☆98Updated 7 months ago
- Inspection Testing for Haskell☆189Updated last week
- Haskell library for simple, concise and fast generic operations.☆82Updated last year
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…☆156Updated 4 years ago
- Yet another Haskell build system.☆115Updated 5 years ago
- Composable, streaming, and efficient left folds☆168Updated 8 months ago
- Monitor cyclomatic complexity in Haskell programs☆98Updated 6 years ago
- Haskell XML Toolbox☆125Updated last year
- Swagger for Servant☆123Updated 3 years ago
- Literate Haskell support for Markdown☆146Updated 6 months ago
- The Haskell Refactoring Tool☆139Updated 8 years ago
- Let GHC prove program equations for you☆146Updated 6 years ago