Release with confidence, state-of-the-art property testing for Haskell.
- Updated
Sep 29, 2025 - Haskell
#
property-based-testing
Here are 22 public repositories matching this topic...
Test monadic programs using state machine based models
- Updated
May 11, 2021 - Haskell
Test your Haskell code by exhaustively checking its properties
- Updated
Jul 25, 2025 - Haskell
A tutorial about how to apply property-based testing to stateful systems.
haskell tutorial property-based-testing state-machines fault-injection linearizability simulation-testing
- Updated
Feb 10, 2023 - Haskell
refine properties for testing Haskell programs
mutation-testing property-based-testing property-testing enumerative-testing leancheck property-refinement
- Updated
Jan 30, 2025 - Haskell
enumerative property-based testing for Haskell
- Updated
Aug 7, 2025 - Haskell
Property based testing tool for Swagger APIs
- Updated
Jan 12, 2021 - Haskell
Speculate laws about Haskell functions
testing haskell property-based-testing property-testing property-discovery enumerative-testing theory-exploration leancheck
- Updated
Jan 30, 2025 - Haskell
generalize counter-examples of property-based testing
testing debugging haskell property-based-testing testing-tools property-testing enumerative-testing leancheck generalization counter-example-generalization
- Updated
Jan 30, 2025 - Haskell
- Updated
Jan 25, 2025 - Haskell
The Concurrency Commentator; giving you cheap remarks about concurrent programs.
- Updated
Dec 6, 2017 - Haskell
A demonstration of stateful systems testing using Hedgehog
testing haskell state-machine quickcheck property-based-testing hedgehog haskell-learning property-testing state-machine-testing
- Updated
Jan 17, 2023 - Haskell
A tutorial about how to apply property-based testing to stateful systems.
haskell tutorial property-based-testing state-machines fault-injection linearizability simulation-testing
- Updated
Dec 27, 2022 - Haskell
Common LeanCheck instances
- Updated
May 12, 2025 - Haskell
Learning Lunch @airbnb
- Updated
Aug 18, 2016 - Haskell
Code corresponding to a research paper tackling the issue of checking interpreter equivalence using property-based testing frameworks.
- Updated
Sep 6, 2021 - Haskell
- Updated
May 3, 2025 - Haskell
⚡Explore Kell: A Haskell-inspired language with exciting enhancements! Witness the magic of our ultra-efficient evaluator, driven by Haskell's formidable type inference. 🧪 Rigorously tested through property-based trials, Kell excels at effortlessly evaluating expressions within its dynamic syntax. Unleash the power of Kell using this. 🚀
- Updated
Sep 1, 2023 - Haskell
Industrial-grade Haskell project template for mission-critical systems. Features formal verification (LiquidHaskell), robust error handling, hexagonal architecture, TDD, and AI-assistant rules (Cursor)
template haskell tdd functional-programming best-practices error-handling property-based-testing software-engineering cabal type-safety hexagonal-architecture formal-verification ghc liquidhaskell mission-critical cursor-ide
- Updated
Apr 5, 2025 - Haskell
Haskell code for the Troll Aklass workshop on Property Based Tests
- Updated
Jan 29, 2020 - Haskell
Improve this page
Add a description, image, and links to the property-based-testing topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the property-based-testing topic, visit your repo's landing page and select "manage topics."