well-typed / falsifyLinks
☆48Updated 2 months ago
Alternatives and similar repositories for falsify
Users that are interested in falsify are comparing it to the libraries listed below
Sorting:
- Generates a references DB from .hie files☆68Updated 4 months ago
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆56Updated last week
- GHC plugin to desugar ! into do-notation☆37Updated 8 months ago
- Extend Cabal build-depends from the command line☆59Updated 4 months ago
- Prune unused Haskell dependencies.☆46Updated 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 4 months ago
- Library to support efficient compilation of large records (linear in the number of record fields)☆51Updated 2 weeks ago
- A Typeclass for user-facing output☆57Updated last week
- First-class type families☆90Updated 3 weeks ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆97Updated 2 months ago
- A tool suite to aid Haskell development using `cabal-install`☆90Updated 5 months ago
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.☆81Updated 2 weeks ago
- Automatically generate Haskell bindings from C header files☆60Updated this week
- Visualise eventlog events as a static webpage☆71Updated 6 months ago
- Test interactive Haskell examples☆33Updated 5 months ago
- An Awesome MCP Server Framework for Haskell☆37Updated 3 months ago
- Leightweight generalized parser combinators☆20Updated 2 years ago
- GHC plugin to branch on whether a constraint is satisfied☆33Updated 4 months ago
- ☆39Updated 10 months ago
- 📊 Haskell dependencies build times profiler☆74Updated 2 years ago
- Haskell's IO simulator which closely follows core packages (base, async, stm).☆51Updated this week
- Type-safe WebAssembly eDSL in Haskell☆28Updated last year
- A really small example of the Backpack module system for Haskell☆57Updated 11 months ago
- An interface for GHC type-checking plugins☆21Updated last month
- A Haskell library for on-disk tables based on LSM-Trees☆49Updated this week
- ☆36Updated 4 years ago
- Analyze GHC .dump-timings files☆111Updated last year
- Literally the best anonymous records☆36Updated 2 years ago
- Set breakpoints using a GHC plugin☆49Updated 3 months ago
- Benchmark a given function for variable input sizes and find out its time complexity☆25Updated 9 months ago