well-typed / falsifyLinks
☆44Updated 2 months ago
Alternatives and similar repositories for falsify
Users that are interested in falsify are comparing it to the libraries listed below
Sorting:
- ☆36Updated 4 months ago
- Extend Cabal build-depends from the command line☆57Updated 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 2 months ago
- Prune unused Haskell dependencies.☆47Updated 2 years ago
- A Typeclass for user-facing output☆56Updated 2 months ago
- Generates a references DB from .hie files☆66Updated last month
- audit your cabal projects for haskell-specific security-advisories☆27Updated 2 weeks ago
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆50Updated 2 months ago
- Normalise GHC.TypeLits.Nat equations☆43Updated last month
- Help the Haskell community coordinate volunteers, open source projects, and help community managers source speakers.☆26Updated 2 years ago
- ☆34Updated 3 years ago
- Generate tags file for haskell modules (GHC)☆41Updated 2 months ago
- A really small example of the Backpack module system for Haskell☆54Updated 5 months ago
- Format Haskell package descriptions.☆52Updated last week
- A library to profile time in a Haskell program☆17Updated last year
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- Test interactive Haskell examples☆30Updated last week
- GHC plugin to branch on whether a constraint is satisfied☆33Updated 2 months ago
- A GHC plugin and library for analysing GHC Core☆54Updated 3 months ago
- Automatically generate Haskell bindings from C header files☆47Updated this week
- 🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.☆43Updated last week
- Haskell program configuration using higher kinded data☆29Updated last year
- Create PR to bump Haskell dependency bounds☆24Updated last year
- This might one day be a thesis project☆11Updated 2 years ago
- GHC plugin for open telemetry☆24Updated 7 months ago
- Set breakpoints using a GHC plugin☆49Updated last year
- Leightweight generalized parser combinators☆20Updated last year
- Generic data types in Haskell, utilities for GHC.Generics☆45Updated last month
- Library to support efficient compilation of large records (linear in the number of record fields)☆47Updated 2 months ago
- ☆19Updated 3 weeks ago