enumerative property-based testing for Haskell
☆53Mar 20, 2026Updated 7 months ago
Alternatives and similar repositories for leancheck
Users that are interested in leancheck are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- generalize counter-examples of property-based testing☆13Jan 30, 2025Updated last year
- Speculate laws about Haskell functions☆32Jan 30, 2025Updated last year
- A library for schema-guided serialization of Haskell datatypes☆17Dec 21, 2020Updated 5 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- My favorite quotes☆17Oct 12, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A lab for future Criterion features.☆28Jan 9, 2019Updated 7 years ago
- Append-only list persist & query system☆27Jan 27, 2022Updated 4 years ago
- Non-empty Vectors☆29Oct 27, 2026Updated last week
- A REPL for nix expressions in your browser☆14May 5, 2018Updated 8 years ago
- Keep your laziness in check!☆39Feb 26, 2026Updated 8 months ago
- Lists, Texts, ByteStrings and Vectors with type-encoded length☆10Jul 11, 2021Updated 5 years ago
- Quickcheck Properties for common typeclasses☆35Dec 27, 2025Updated 10 months ago
- refine properties for testing Haskell programs☆78Jan 30, 2025Updated last year
- ☆10Sep 20, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Stream editing with Haskell Attoparsec parsers☆14May 30, 2023Updated 3 years ago
- DSL for attaching documentation to persistent entities☆14May 30, 2025Updated last year
- A tutorial on writing a concurrency testing tool in Haskell☆12Nov 5, 2017Updated 9 years ago
- Read and write images as massiv arrays☆14Oct 23, 2021Updated 5 years ago
- Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/☆23Aug 25, 2017Updated 9 years ago
- Solve classical planning problems (STRIPS/SAS+) using Haskell & Fast Downward☆32May 11, 2023Updated 3 years ago
- Tools for testing and verifying the safety and correctness of C programs.☆19May 5, 2025Updated last year
- Barry Jay's (bond-eye) pattern language☆12Mar 16, 2011Updated 15 years ago
- freer-effects wrapper for persistent queries☆12Jun 9, 2017Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Lens combinators for fused-effects.☆17Oct 19, 2020Updated 6 years ago
- A build tool and library for virtual machines.☆19Apr 19, 2023Updated 3 years ago
- Simple indentation sensitive parser-combinators for parsec☆20Oct 2, 2023Updated 3 years ago
- Boozy streaming library☆16May 14, 2022Updated 4 years ago
- Haskell metrics library☆21Aug 9, 2017Updated 9 years ago
- A library for describing Haskell data types and obtain free generators, JSON codecs, pretty printers, etc.☆22Updated this week
- Hood debugger, based on the idea of observing functions and structures as they are evaluated.☆20Jun 3, 2018Updated 8 years ago
- Simple reflection of expressions☆34Jun 18, 2021Updated 5 years ago
- Green Card, a foreign function interface pre-processor for Haskell.☆11Apr 14, 2015Updated 11 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A Haskell code formatter using prettyprinter and the GHC API☆24Oct 7, 2018Updated 8 years ago
- Refinement types with static checking☆196Dec 21, 2024Updated last year
- OTP-like supervision trees in Haskell☆62May 21, 2019Updated 7 years ago
- Golden tests with Hspec☆30Apr 10, 2026Updated 6 months ago
- Deploy tool for Haskell applications, like Capistrano for Rails☆107Oct 28, 2026Updated last week
- coverage driven random testing framework☆24Nov 5, 2024Updated 2 years ago
- A monad transformer and corresponding type class for computations which consume random values.☆34Jan 20, 2026Updated 9 months ago