haskell-checkers / checkersLinks
Check properties on standard classes and data structures
☆80Updated 2 months ago
Alternatives and similar repositories for checkers
Users that are interested in checkers are comparing it to the libraries listed below
Sorting:
- Describe Haskell code in GHCi☆72Updated 8 years ago
- Notes on space leaks☆102Updated 5 years ago
- Lean Haskell Benchmarking☆90Updated 3 years ago
- The missing tutorial module for the lens library☆83Updated last year
- Comma (and other) separated values☆78Updated 2 years ago
- Haskell: Supercharged anonymous records☆83Updated 3 years ago
- Alternative API for processes, featuring more type safety☆113Updated 8 months ago
- Haskell library for debugging☆122Updated 6 years ago
- Benchmarks for dictionary data structures: hash tables, maps, tries, etc.☆98Updated 4 years ago
- Regex-based parsing with an applicative interface☆131Updated 4 years ago
- Extra Haskell functions☆97Updated 3 weeks ago
- Detect dead exports or package imports☆125Updated 5 years ago
- New formatting library☆58Updated 3 years ago
- An implementation of "Freer Monads, More Extensible Effects".☆64Updated 7 years ago
- Haskeline wrapper for GHCi-like REPL interfaces☆106Updated 7 months ago
- Generate nix expressions for Haskell projects☆99Updated 4 years ago
- ☆89Updated last year
- Measuring CPU instructions in Haskell using Linux Performance Counters☆83Updated 7 years ago
- Benchmarks to compare Haskell streaming library performance☆107Updated 3 months ago
- 📚 A softer alternative to Haddock☆106Updated 5 years ago
- Haskell command line text stream processor☆87Updated 6 years ago
- Search Haskell source code from the command line☆75Updated 5 years ago
- An either-or-both data type, with corresponding hybrid error/writer monad transformer.☆118Updated 6 months ago
- A dependency manager for Haskell☆97Updated 3 years ago
- A general way to consume input using applicative functors☆151Updated 6 months ago
- ☆99Updated 5 months ago
- Safe, consistent, and easy exception handling☆135Updated 2 years ago
- Swagger 2.0 data model.☆74Updated 7 months ago
- Generic random generators☆81Updated 2 years ago
- Automatically trace all (showable) binds in do expressions☆84Updated 7 years ago