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
- Hedgehog will eat your typeclass bugs☆56Updated 2 months ago
- being the scrapings of my stackoverflow answers☆48Updated 5 years ago
- Quickcheck Properties for common typeclasses☆34Updated 7 months ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 5 months ago
- Compile Dhall expressions to Cabal files☆100Updated last year
- Automation of Haskell package release process.☆31Updated last year
- Tools for functors from Hask^k to Hask☆23Updated 5 years ago
- Derive instances through isomorphisms☆20Updated 5 months ago
- Criterion benchmarks for the different haskell concurrent channel implementations in base and stm☆17Updated 10 years ago
- Tasty integration for the Hedgehog property testing library☆38Updated last week
- Make presentations for data types☆25Updated 3 years ago
- Functor-parametric containers☆18Updated last month
- Hackager tool for releasing Haskell packages to Hackage☆30Updated 5 months ago
- GHC development flow☆24Updated 7 years ago
- The Str signature and implementations☆21Updated 7 years ago
- ☆8Updated 3 years ago
- An experimental intermediate language for GHC☆37Updated 7 years ago
- Protect against backwards-incompatible serializations☆23Updated 3 years ago
- Search Haskell source code from the command line☆76Updated 4 years ago
- Universal build and CI testing for Haskell packages☆91Updated 3 weeks ago
- lazy generators with observation☆15Updated last year
- Quasiquoter for LLVM☆31Updated 6 years ago
- Comma (and other) separated values☆76Updated last year
- Haskell project statistics and definition analysis☆15Updated last year
- Order theory☆23Updated last year
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.☆28Updated last year
- coverage driven random testing framework☆21Updated 2 weeks ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- ☆25Updated 5 months ago
- Helpers which allow safe partial pattern matching in lambdas☆31Updated 4 years ago