well-typed / falsifyLinks
☆47Updated last month
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 3 months ago
- Extend Cabal build-depends from the command line☆59Updated 3 months ago
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆35Updated 3 months ago
- First-class type families☆90Updated this week
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆55Updated this week
- An Awesome MCP Server Framework for Haskell☆36Updated 3 months ago
- ☆39Updated 9 months ago
- Leightweight generalized parser combinators☆20Updated last year
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.☆81Updated 3 weeks ago
- A tool suite to aid Haskell development using `cabal-install`☆90Updated 5 months ago
- Library to support efficient compilation of large records (linear in the number of record fields)☆49Updated last week
- Analyze GHC .dump-timings files☆109Updated last year
- Prune unused Haskell dependencies.☆46Updated 2 years ago
- A modern Haskell debugger☆31Updated 6 months ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆97Updated last month
- Automatically generate Haskell bindings from C header files☆60Updated this week
- ☆38Updated 3 weeks ago
- Test interactive Haskell examples☆33Updated 5 months ago
- Type-safe WebAssembly eDSL in Haskell☆28Updated last year
- An interface for GHC type-checking plugins☆21Updated last month
- A really small example of the Backpack module system for Haskell☆57Updated 10 months ago
- ☆35Updated last year
- GHC plugin to desugar ! into do-notation☆37Updated 8 months ago
- A GHC plugin and library for analysing GHC Core☆54Updated 9 months ago
- GHC plugin to branch on whether a constraint is satisfied☆33Updated 3 months ago
- audit your cabal projects for haskell-specific security-advisories☆29Updated 6 months ago
- ☆36Updated 4 years ago
- Visualise eventlog events as a static webpage☆71Updated 5 months ago
- ☆19Updated 2 months ago
- experimenting with unlifted classes via backpack☆36Updated 3 years ago