A Testing Framework for Haskell
-
Updated
Aug 23, 2024 - Haskell
A Testing Framework for Haskell
Release with confidence, state-of-the-art property testing for Haskell.
Modern and extensible testing framework for Haskell
Test monadic programs using state machine based models
Generic random generators
Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck
Signature inference for Functional Property Discovery in Haskell
A library for stateful property-based testing
Testing Infrastructure for Temporal AbstractioNs
A library for describing Haskell data types and obtain free generators, JSON codecs, pretty printers, etc.
QuickCheck extension for higher-order properties
A friendly functional language for finding counterexamples 🎯
Test monadic programs using state machine based models
An implementation of the supermemo 2 flash card spaced repetition algorithm.
Pain-free QuickCheck helpers for Plutarch
A repository for backing up and sharing AVD exercises
Ninety-Nine Haskell Problems
Edge cases and special values for QuickCheck Arbitrary instances
Haskell Book Exercises
Sistema certificado de decisión proposicional basado en polinomios.
Add a description, image, and links to the quickcheck topic page so that developers can more easily learn about it.
To associate your repository with the quickcheck topic, visit your repo's landing page and select "manage topics."