rudymatela / leancheckView external linksLinks
enumerative property-based testing for Haskell
☆53Aug 7, 2025Updated 6 months ago
Alternatives and similar repositories for leancheck
Users that are interested in leancheck are comparing it to the libraries listed below
Sorting:
- A REPL for nix expressions in your browser☆13May 5, 2018Updated 7 years ago
- Speculate laws about Haskell functions☆30Jan 30, 2025Updated last year
- My favorite quotes☆17Oct 12, 2025Updated 4 months ago
- refine properties for testing Haskell programs☆78Jan 30, 2025Updated last year
- Quickcheck Properties for common typeclasses☆35Dec 27, 2025Updated last month
- Automated Testing and Package Uploading☆12Oct 3, 2018Updated 7 years ago
- Lists, Texts, ByteStrings and Vectors with type-encoded length☆10Jul 11, 2021Updated 4 years ago
- A build tool and library for virtual machines.☆19Apr 19, 2023Updated 2 years ago
- A Haskell code formatter using prettyprinter and the GHC API☆24Oct 7, 2018Updated 7 years ago
- ListT done right☆15Oct 11, 2023Updated 2 years ago
- Stream editing with Haskell Attoparsec parsers☆14May 30, 2023Updated 2 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- Green Card, a foreign function interface pre-processor for Haskell.☆11Apr 14, 2015Updated 10 years ago
- Vector builder☆16Jan 13, 2026Updated last month
- Read and write images as massiv arrays☆13Oct 23, 2021Updated 4 years ago
- A tutorial on writing a concurrency testing tool in Haskell☆12Nov 5, 2017Updated 8 years ago
- Source code for doisinkidney.com☆14Jan 5, 2026Updated last month
- DSL for attaching documentation to persistent entities☆14May 30, 2025Updated 8 months ago
- Non-empty Vectors☆26Apr 17, 2025Updated 9 months ago
- A library for schema-guided serialization of Haskell datatypes☆17Dec 21, 2020Updated 5 years ago
- IO operations from the base library lifted to any instance of MonadBase or MonadBaseControl☆19Mar 16, 2023Updated 2 years ago
- A monad transformer and corresponding type class for computations which consume random values.☆34Jan 20, 2026Updated 3 weeks ago
- A very general logging effect for Haskell☆61Jan 28, 2026Updated 2 weeks ago
- Append-only list persist & query system☆27Jan 27, 2022Updated 4 years ago
- FEAT☆25May 26, 2018Updated 7 years ago
- Generic types and functions for encoding and decoding columns☆44Nov 4, 2024Updated last year
- Deploy tool for Haskell applications, like Capistrano for Rails☆109May 8, 2025Updated 9 months ago
- A Smarter QuickCheck☆102Aug 11, 2017Updated 8 years ago
- haskell memory☆48Aug 14, 2023Updated 2 years ago
- A Galilean revolution for computing: Unboundedly scalable reliability and efficiency☆15Aug 6, 2023Updated 2 years ago
- Golden tests with Hspec☆29Oct 31, 2025Updated 3 months ago
- Solve classical planning problems (STRIPS/SAS+) using Haskell & Fast Downward☆32May 11, 2023Updated 2 years ago
- Catchy combinators for HUnit☆37Apr 11, 2025Updated 10 months ago
- QuickCheck extras.☆29Jun 23, 2019Updated 6 years ago
- Fast and flexible k-d trees for various types of point queries.☆25Jun 17, 2024Updated last year
- Simple indentation sensitive parser-combinators for parsec☆20Oct 2, 2023Updated 2 years ago
- A Haskell embedded DSL for generating an API's JSON wrappers and documentation.☆34Updated this week
- A Haskell prelude optimized for safety☆18Jan 6, 2017Updated 9 years ago
- A package re-exporting the verified subset of containers☆20Jun 18, 2018Updated 7 years ago