Alternatives and similar repositories for falsify

Users that are interested in falsify are comparing it to the libraries listed below

• wz1000 / HieDb
  Generates a references DB from .hie files
  ☆67Updated this week
• danidiaz / really-small-backpack-example
  A really small example of the Backpack module system for Haskell
  ☆54Updated 7 months ago
• Bodigrim / linear-builder
  Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
  ☆95Updated 2 months ago
• Kleidukos / get-tested
  Go get tested! Github Actions matrix generator for your haskell projects' CI
  ☆51Updated last month
• JakobBruenker / monadic-bang
  GHC plugin to desugar ! into do-notation
  ☆37Updated 4 months ago
• well-typed / recover-rtti
  Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).
  ☆35Updated 2 weeks ago
• kokobd / cabal-hoogle
  ☆36Updated 6 months ago
• well-typed / large-records
  Library to support efficient compilation of large records (linear in the number of record fields)
  ☆48Updated 2 weeks ago
• sheaf / ghc-tcplugin-api
  An interface for GHC type-checking plugins
  ☆20Updated 2 weeks ago
• juspay / jrec
  Literally the best anonymous records
  ☆36Updated 2 years ago
• well-typed / memory-usage-zurihac-2021
  ☆34Updated 4 years ago
• noughtmare / gpc
  Leightweight generalized parser combinators
  ☆20Updated last year
• Bodigrim / cabal-add
  Extend Cabal build-depends from the command line
  ☆58Updated last week
• dfithian / prune-juice
  Prune unused Haskell dependencies.
  ☆47Updated 2 years ago
• nomeata / cabal-plan-bounds
  Calculate Haskell dependency ranges from multiple build plans
  ☆31Updated last year
• sheaf / if-instance
  GHC plugin to branch on whether a constraint is satisfied
  ☆33Updated this week
• MangoIV / cabal-audit
  audit your cabal projects for haskell-specific security-advisories
  ☆27Updated 2 months ago
• mpickering / eventlog2html
  Visualise eventlog events as a static webpage
  ☆72Updated 2 months ago
• aionescu / wasm-hs
  Type-safe WebAssembly eDSL in Haskell
  ☆27Updated 9 months ago
• brandonchinn178 / ghc-string-interpolation-prototypes
  ☆19Updated 3 months ago
• tfausak / cabal-gild
  Format Haskell package descriptions.
  ☆54Updated this week
• phadej / cabal-extras
  A tool suite to aid Haskell development using `cabal-install`
  ☆87Updated last month
• klapaucius / vector-hashtables
  ☆35Updated last month
• Bodigrim / tasty-bench
  Featherlight benchmark framework, drop-in replacement for criterion and gauge.
  ☆81Updated 3 weeks ago
• clash-lang / ghc-typelits-natnormalise
  Normalise GHC.TypeLits.Nat equations
  ☆43Updated 2 weeks ago
• codedownio / time-ghc-modules
  Analyze GHC .dump-timings files
  ☆107Updated last year
• isovector / type-sets
  type level sets
  ☆67Updated 5 years ago
• expipiplus1 / vector-sized
  ☆35Updated 10 months ago
• well-typed / ghc-debugger
  WIP: A modern step-through debugger for GHC Haskell
  ☆34Updated last month
• well-typed / hs-bindgen
  Automatically generate Haskell bindings from C header files
  ☆54Updated this week