monadfix / namedLinks
Named parameters (keyword arguments) for Haskell
☆94Updated 2 months ago
Alternatives and similar repositories for named
Users that are interested in named are comparing it to the libraries listed below
Sorting:
- Hypertypes - generic programming for heterogeneous recursive types☆122Updated 4 months ago
- Bit vectors: 8x less memory, up to 3500x faster than Vector Bool☆72Updated this week
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 10 months ago
- Inspection Testing for Haskell☆176Updated 5 months ago
- Generic Programming using True Sums of Products☆163Updated 4 months ago
- Benchmarks for dictionary data structures: hash tables, maps, tries, etc.☆97Updated 3 years ago
- Moved to Haskell.org GitLab.☆61Updated last week
- Pre-processor for .hsc files☆41Updated 2 months ago
- A Haskell library for open records and variants using closed type families and type literals☆112Updated 2 years ago
- Hopefully verifiable code generation in GHC☆94Updated 8 years ago
- Haskeline wrapper for GHCi-like REPL interfaces☆107Updated 2 weeks ago
- 👓 Profunctor based lightweight implementation of Lenses☆71Updated 2 years ago
- Example language server (LSP) implementation for a toy language☆59Updated 3 years ago
- Fast parsing from bytestrings☆160Updated last month
- The Software Foundations book, in GHC☆82Updated 5 months ago
- Haskell library for semigroup actions and torsors☆62Updated 3 months ago
- ⚡️Efficient implementation of Map with types as keys☆100Updated last year
- Interpreter for GHC Haskell☆22Updated 5 years ago
- First-class type families☆87Updated last week
- ⛏️ A refinement proof framework for haskell☆69Updated 2 years ago
- UI experiments for coda☆66Updated 3 years ago
- Measure allocations of a Haskell functions/values☆95Updated 7 months ago
- Fast Haskell XML parser☆123Updated last year
- Stream editing with Haskell Megaparsec parsers☆79Updated last year
- In goes JSON, out comes a complete Haskell model complete with instances! CLI and web interface available.☆81Updated 4 years ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆68Updated last month
- JHC Haskell compiler split into reusable components☆58Updated 6 years ago
- An effect system based on type classes, written in Haskell.☆44Updated 3 years ago
- Generic random generators☆81Updated 2 years ago
- A syntax for unions of constraints in Haskell☆70Updated 7 years ago