tweag / ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
☆10Updated this week
Related projects ⓘ
Alternatives and complementary repositories for ghc-proposals
- GHC development flow☆24Updated 7 years ago
- Automation of Haskell package release process.☆31Updated last year
- Speculate laws about Haskell functions☆30Updated 8 months ago
- Derive instances through isomorphisms☆20Updated 5 months ago
- Quickcheck Properties for common typeclasses☆34Updated 6 months ago
- Example uses of linear types☆42Updated 4 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆47Updated 2 months ago
- Use hpack's phrasing in dhall to write cabal files☆31Updated 2 months ago
- Color highlighting for Haskell profiling information☆40Updated 3 years ago
- Create environments with GHC HEAD artefacts☆28Updated last year
- ☆8Updated 3 years ago
- ☆30Updated 6 months ago
- Tools for functors from Hask^k to Hask☆23Updated 5 years ago
- Automation for releasing haskell packages☆18Updated last year
- Literally the best anonymous records☆36Updated last year
- being the scrapings of my stackoverflow answers☆48Updated 5 years ago
- Functions and newtype wrappers for traversing Trees☆30Updated 2 months ago
- Non-empty Vectors☆24Updated 5 months ago
- Clean up the formatting of 'show' output☆22Updated 2 months ago
- Hedgehog will eat your typeclass bugs☆56Updated 2 months ago
- haskell library to parse commandline args - an alternative to optparse-applicative☆19Updated last year
- ☆33Updated last month
- Safe web routing in haskell☆30Updated last year
- higher-kinded data☆30Updated last year
- GHC plugin for open telemetry☆24Updated 3 weeks ago
- the dynabook but for haskell☆23Updated 5 years ago
- ghc --make reimplemented with Shake☆31Updated last year
- Functor-parametric containers☆18Updated last month
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- Experimental implementation of generic record subtyping☆18Updated 6 months ago