Alternatives and similar repositories for quickcheck-state-machine:

Users that are interested in quickcheck-state-machine are comparing it to the libraries listed below

• noughtmare / gpc
  Leightweight generalized parser combinators
  ☆19Updated last year
• sheaf / if-instance
  GHC plugin to branch on whether a constraint is satisfied
  ☆33Updated this week
• Lysxia / generic-data
  Generic data types in Haskell, utilities for GHC.Generics
  ☆45Updated 3 months ago
• JakobBruenker / monadic-bang
  GHC plugin to desugar ! into do-notation
  ☆37Updated 3 weeks ago
• juspay / jrec
  Literally the best anonymous records
  ☆35Updated 2 years ago
• alexpeits / harg
  Haskell program configuration using higher kinded data
  ☆29Updated 10 months ago
• haskell-debugger / haskell-estgi-debugger
  A modern Haskell debugger
  ☆30Updated last year
• Bodigrim / cabal-add
  Extend Cabal build-depends from the command line
  ☆57Updated last month
• well-typed / falsify
  ☆44Updated last week
• haskell / cabal-cache
  CI assistant
  ☆46Updated last month
• Lysxia / bluefin-algae
  Algebraic effects in the Bluefin effect system
  ☆15Updated 10 months ago
• bgamari / monoidal-containers
  Maps using values' monoidal structure during merging
  ☆42Updated 3 months ago
• brandonchinn178 / string-syntax
  ☆17Updated last week
• oofp / Beseder
  Beseder: make impossible state transitions impossible
  ☆31Updated 5 years ago
• bgamari / ghc-dump
  A GHC plugin and library for analysing GHC Core
  ☆54Updated last month
• mstksg / nonempty-containers
  Efficient non-empty variants of containers data types, with full API
  ☆26Updated 8 months ago
• fumieval / oath
  Composable Concurrent Computation Done Right
  ☆30Updated 2 years ago
• composewell / streamly-examples
  Examples for Streamly
  ☆29Updated last week
• ChrisPenner / catalyst
  There are many category theory implementations, but this one is mine
  ☆15Updated 7 months ago
• Kleidukos / get-tested
  Go get tested! Github Actions matrix generator for your haskell projects' CI
  ☆50Updated 2 weeks ago
• jeslie0 / mkSpagoDerivation
  Reproducible PureScript projects with Nix
  ☆23Updated last week
• haskell-hvr / cabal-plan
  Library and utility for processing cabal's plan.json file
  ☆39Updated 2 months ago
• sheaf / ghc-tcplugin-api
  An interface for GHC type-checking plugins
  ☆20Updated 4 months ago
• expipiplus1 / vector-sized
  ☆35Updated 6 months ago
• hdgarrood / haskell-incremental-nix-example
  Example to illustrate how to set up incremental Haskell Nix builds
  ☆29Updated 2 years ago
• sweirich / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆29Updated 3 years ago
• nomeata / cabal-plan-bounds
  Calculate Haskell dependency ranges from multiple build plans
  ☆31Updated 10 months ago
• kokobd / cabal-hoogle
  ☆35Updated 2 months ago
• typedbyte / effet
  An effect system based on type classes, written in Haskell.
  ☆44Updated 3 years ago
• mpickering / hs-speedscope
  ☆32Updated 2 months ago