Release with confidence, state-of-the-art property testing for Haskell.
-
Updated
Oct 15, 2026 - Haskell
#
property-based-testing
Here are 23 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
Aug 1, 2026 - 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
Mar 20, 2026 - 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
haskell functional-programming mcp quickcheck property-based-testing scaffolding agentic-workflow claude-code
-
Updated
Oct 11, 2026 - 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
-
Updated
May 3, 2025 - 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
Ethereum smart contract fuzzer
-
Updated
Oct 5, 2026 - Haskell
Proof-gated execution kernel for machine-initiated money. Pure Haskell: type-enforced authorization, hash-chained ledger, signed re-derivable certificates.
cli haskell dsl payments ledger authorization gadt fintech quickcheck property-based-testing ed25519 type-safety audit-log ai-safety double-entry policy-engine backtesting ai-agents hash-chain agentic-payments
-
Updated
Oct 11, 2026 - Haskell
Classes with laws lead to more lawful instances
-
Updated
Feb 2, 2023 - Haskell
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."