matt-noonan / gdp
Ghosts of Departed Proofs
☆60Updated 3 years ago
Related projects: ⓘ
- rewrite rules for type-level equalities☆61Updated 4 months ago
- ☆45Updated 2 years ago
- Maps using values' monoidal structure during merging☆42Updated 3 months ago
- Dual Traversable☆41Updated last year
- Generates a references DB from .hie files☆64Updated 2 months ago
- Bidirectional programming in Haskell with monadic profunctors☆44Updated 2 years ago
- Classes for types where we know all the values☆37Updated 4 months ago
- Keep your laziness in check!☆32Updated 2 years ago
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- A GHC plugin and library for analysing GHC Core☆53Updated 2 years ago
- Generic data types in Haskell, utilities for GHC.Generics☆44Updated 5 months ago
- Overloaded plugin☆31Updated 3 months ago
- Omit fields for instance deriving☆37Updated 4 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆71Updated 4 years ago
- Tactic Metaprogramming in Haskell☆57Updated 5 years ago
- An experimental intermediate language for GHC☆37Updated 7 years ago
- Symbol manipulation☆35Updated last year
- Signature inference for Functional Property Discovery in Haskell☆36Updated 7 years ago
- Literally the best anonymous records☆36Updated last year
- Standard module for type-level programming in Haskell☆31Updated 5 years ago
- Example uses of linear types☆42Updated 4 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated 9 months ago
- GHC plugin to branch on whether a constraint is satisfied☆30Updated last year
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆47Updated 3 weeks ago
- An efficient finite map from (byte)strings to values.☆19Updated 2 weeks ago
- Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.☆52Updated last year
- Color highlighting for Haskell profiling information☆40Updated 2 years ago
- Hedgehog will eat your typeclass bugs☆56Updated 2 weeks ago
- An effect system based on type classes, written in Haskell.☆44Updated 2 years ago
- A single typeclass for Functor, Bifunctor, Trifunctor, etc.☆40Updated last year