stevana / quickcheck-state-machine
Test monadic programs using state machine based models
☆17Updated 7 months ago
Alternatives and similar repositories for quickcheck-state-machine:
Users that are interested in quickcheck-state-machine are comparing it to the libraries listed below
- Haskell program configuration using higher kinded data☆29Updated 11 months ago
- GHC plugin to desugar ! into do-notation☆37Updated last month
- Generic data types in Haskell, utilities for GHC.Generics☆45Updated this week
- Leightweight generalized parser combinators☆20Updated last year
- GHC plugin to branch on whether a constraint is satisfied☆33Updated 3 weeks ago
- Haskell's IO simulator which closely follows core packages (base, async, stm).☆41Updated this week
- Library to support efficient compilation of large records (linear in the number of record fields)☆46Updated last month
- A modern Haskell debugger☆30Updated last year
- ☆44Updated 3 weeks ago
- ☆34Updated 3 years ago
- Literally the best anonymous records☆35Updated 2 years ago
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆35Updated last month
- Benchmark a given function for variable input sizes and find out its time complexity☆25Updated last month
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆50Updated last month
- Batteries-included structured logging library☆30Updated 2 weeks ago
- An effect system based on type classes, written in Haskell.☆44Updated 3 years ago
- Extend Cabal build-depends from the command line☆57Updated last month
- Generate your PureScript types and API client from a Haskell Servant backend.☆29Updated 2 years ago
- Experimental tool to build reports on GHC build time for your projects.☆24Updated 2 years ago
- Libraries for the Effectful Haskell effects system☆22Updated 2 years ago
- Test interactive Haskell examples☆30Updated 3 months ago
- Retrying for humans using Haskell.☆45Updated last year
- A really small example of the Backpack module system for Haskell☆54Updated 3 months ago
- ☆35Updated 3 months ago
- Example to illustrate how to set up incremental Haskell Nix builds☆29Updated 2 years ago
- Generate tags file for haskell modules (GHC)☆41Updated last month
- Composable Concurrent Computation Done Right☆30Updated 2 years ago
- Algebraic effects in the Bluefin effect system☆16Updated 11 months ago
- ☆31Updated 4 years ago
- ☆17Updated last month