haskell / rfcs
This repo is archived, consider using https://github.com/ghc-proposals/ghc-proposals instead
☆98Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for rfcs
- Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer☆193Updated last year
- This package provides various primitive memory-related operations.☆114Updated this week
- a library for parallel programming☆92Updated 2 weeks ago
- Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!☆209Updated 5 years ago
- Extensional capabilities and deriving combinators☆213Updated 4 months ago
- Fake dependent types in Haskell using singletons☆287Updated 3 weeks ago
- Library for dealing with system processes☆87Updated this week
- The GHC API, decoupled from GHC versions☆161Updated 2 weeks ago
- Inspection Testing for Haskell☆173Updated last month
- Efficient hashing-based container types☆221Updated 6 months ago
- Benchmarks for dictionary data structures: hash tables, maps, tries, etc.☆95Updated 3 years ago
- Haml-like template files that are compile-time checked☆136Updated 2 months ago
- free monads☆161Updated 6 months ago
- Software Transactional Memory☆98Updated last week
- Safe, consistent, and easy exception handling☆136Updated last year
- Generic Programming using True Sums of Products☆157Updated 6 months ago
- Haskell Language Report☆91Updated 4 years ago
- Haskell library for debugging☆122Updated 5 years ago
- Various data structures for use in the Idris Language.☆95Updated 4 years ago
- Haskell XML Toolbox☆124Updated 4 months ago
- Type classes for mapping, folding, and traversing monomorphic containers☆155Updated this week
- Assorted concrete container types☆318Updated this week
- Refinement types with static checking☆183Updated last week
- Drafts, notes and resources for adding linear typing to GHC.☆75Updated 4 years ago
- GRIN backend for GHC☆143Updated 3 years ago
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…☆155Updated 3 years ago
- Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink☆298Updated 4 months ago
- A Haskell library for open records and variants using closed type families and type literals☆111Updated 2 years ago
- Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)☆161Updated 3 years ago
- Benchmarks for sequence data structures: lists, vectors, etc.☆88Updated 2 years ago