ezyang / ghc-proposalsLinks
Proposed compiler and language changes for GHC and GHC/Haskell
☆25Updated 8 years ago
Alternatives and similar repositories for ghc-proposals
Users that are interested in ghc-proposals are comparing it to the libraries listed below
Sorting:
- ☆45Updated 3 years ago
- An experimental intermediate language for GHC☆36Updated 7 years ago
- A library for generic programming that aims to be easy to understand☆26Updated 2 months ago
- Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.☆47Updated 7 years ago
- Monad Transformers and Classes☆77Updated 5 years ago
- multiset haskell package☆19Updated last year
- Playing with https://github.com/ekmett/machines☆51Updated 7 years ago
- Various type-aligned sequence data structures.☆20Updated 3 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆46Updated 7 years ago
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆34Updated 3 years ago
- An approach to managing composable effects, ala mtl/transformers/extensible-effects/Eff☆24Updated 7 years ago
- base library for GHCJS for JavaScript interaction and marshalling, used by higher level libraries like JSC☆45Updated last month
- Verified left pad☆19Updated 7 years ago
- Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE☆24Updated 6 years ago
- This is not the Git repo you're looking for...☆25Updated 5 years ago
- Composable monadic short-circuiting streaming folds☆19Updated 7 years ago
- An experimental "Turbo" Haskell Runtime - Nothing really to see here yet☆17Updated 9 years ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- ☆26Updated 9 years ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Updated 7 years ago
- A Distributed Computing Library in Haskell☆52Updated 7 years ago
- Reifies arbitrary Haskell terms into types that can be reflected back into terms☆104Updated 3 months ago
- Haskell library for efficiently building up buffers☆26Updated 4 months ago
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆27Updated 4 years ago
- ☆54Updated 6 years ago
- Generate a cabal freeze file from a stack.yaml☆36Updated 6 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 2 months ago
- Units of measure as a GHC typechecker plugin☆30Updated 2 years ago
- van Laarhoven Free Monad with Extensible Effects☆23Updated 9 years ago