matt-noonan / gdpLinks
Ghosts of Departed Proofs
☆60Updated 4 years ago
Alternatives and similar repositories for gdp
Users that are interested in gdp are comparing it to the libraries listed below
Sorting:
- Generates a references DB from .hie files☆67Updated last week
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 5 months ago
- Overloaded plugin☆30Updated last year
- Maps using values' monoidal structure during merging☆42Updated 2 months ago
- Generic data types in Haskell, utilities for GHC.Generics☆45Updated 2 months ago
- Keep your laziness in check!☆33Updated 2 years ago
- ☆45Updated 3 years ago
- rewrite rules for type-level equalities☆62Updated last year
- Symbol manipulation☆36Updated 2 years ago
- Efficient non-empty variants of containers data types, with full API☆26Updated last month
- Generic functions for single-sorted first-order structural unification☆46Updated last month
- Haskell library for doing category theory with a central role for profunctors☆21Updated this week
- Standard module for type-level programming in Haskell☆30Updated 5 years ago
- GHC plugin to branch on whether a constraint is satisfied☆33Updated 2 months ago
- Literally the best anonymous records☆36Updated 2 years ago
- Normalise GHC.TypeLits.Nat equations☆43Updated 2 months ago
- Use hpack's phrasing in dhall to write cabal files☆31Updated 5 months ago
- 💄🐞 Combinators for writing pretty type errors easily☆56Updated 3 years ago
- Classes for types where we know all the values☆39Updated 5 months ago
- Ties the knot on data structures that reference each other by unique keys☆47Updated 10 months ago
- An efficient finite map from (byte)strings to values.☆20Updated last month
- A GHC plugin and library for analysing GHC Core☆54Updated 4 months ago
- Tasty integration for the Hedgehog property testing library☆38Updated 7 months ago
- Dual Traversable☆42Updated 2 years ago
- Clean up the formatting of 'show' output☆21Updated last month
- Fine-grained lattice primitives for Haskell☆37Updated last month
- Haskell time library focusing on performance☆57Updated 6 months ago
- Existential type.☆37Updated 6 months ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Compare the public API of different versions of a Hackage library☆63Updated 7 years ago