haskell-checkers / checkersLinks
Check properties on standard classes and data structures
☆79Updated last year
Alternatives and similar repositories for checkers
Users that are interested in checkers are comparing it to the libraries listed below
Sorting:
- Benchmarks to compare Haskell streaming library performance☆106Updated 9 months ago
- Notes on space leaks☆102Updated 4 years ago
- Lean Haskell Benchmarking☆90Updated 2 years ago
- Haskell: Supercharged anonymous records☆83Updated 2 years ago
- Regex-based parsing with an applicative interface☆131Updated 3 years ago
- The missing tutorial module for the lens library☆83Updated last year
- Comma (and other) separated values☆79Updated last year
- Detect dead exports or package imports☆123Updated 5 years ago
- Measuring CPU instructions in Haskell using Linux Performance Counters☆82Updated 7 years ago
- Haskell command line text stream processor☆86Updated 6 years ago
- Generic random generators☆81Updated 2 years ago
- Haskeline wrapper for GHCi-like REPL interfaces☆106Updated 3 months ago
- Generic Programming using True Sums of Products☆162Updated 3 weeks ago
- New formatting library☆58Updated 3 years ago
- ☆89Updated last year
- JSON decoding/encoding/manipulation library.☆93Updated 3 years ago
- An either-or-both data type, with corresponding hybrid error/writer monad transformer.☆118Updated 2 months ago
- ☆93Updated last year
- Benchmarks for sequence data structures: lists, vectors, etc.☆90Updated 3 years ago
- Describe Haskell code in GHCi☆72Updated 8 years ago
- An implementation of "Freer Monads, More Extensible Effects".☆64Updated 7 years ago
- Haskell library for debugging☆122Updated 5 years ago
- An optimized general monad transformer for streaming applications, with a simple prelude of functions☆107Updated 7 years ago
- Search Haskell source code from the command line☆75Updated 5 years ago
- Fast binary serialization in Haskell☆110Updated 8 months ago
- Typed filepath☆125Updated 7 months ago
- tools for writing better type errors☆73Updated last year
- Alternative API for processes, featuring more type safety☆113Updated 4 months ago
- Containers for STM☆71Updated 6 months ago
- Retry combinators for monadic actions that may fail☆115Updated 2 years ago