ZHaskell / z-dataLinks
array, slices and text
☆70Updated last year
Alternatives and similar repositories for z-data
Users that are interested in z-data are comparing it to the libraries listed below
Sorting:
- IO lib for haskell☆99Updated last year
- ⚡️Efficient implementation of Map with types as keys☆102Updated 3 weeks ago
- Crypto for Haskell☆37Updated 4 years ago
- Fast and concise extensible effects☆109Updated 2 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆128Updated 2 weeks ago
- Named parameters (keyword arguments) for Haskell☆98Updated 10 months ago
- Benchmarks for dictionary data structures: hash tables, maps, tries, etc.☆98Updated 4 years ago
- A collection of Notes on GHC☆71Updated 6 years ago
- A tool suite to aid Haskell development using `cabal-install`☆89Updated 8 months ago
- The Software Foundations book, in GHC☆82Updated 3 weeks ago
- Bit vectors: 8x less memory, up to 3500x faster than Vector Bool☆76Updated last month
- This package provides various primitive memory-related operations.☆121Updated last month
- Extra Haskell functions☆96Updated 2 months ago
- Effects libraries in Haskell☆71Updated 2 years ago
- Efficient Haskell effect handlers based on evidence translation.☆86Updated 4 years ago
- Inspection Testing for Haskell☆189Updated 3 weeks ago
- Software Transactional Memory☆113Updated 7 months ago
- Generic Programming using True Sums of Products☆164Updated last month
- A Haskell library for open records and variants using closed type families and type literals☆112Updated 3 years ago
- Fast Haskell XML parser☆125Updated 2 years ago
- Fast parsing from bytestrings☆173Updated 3 months ago
- Haskeline wrapper for GHCi-like REPL interfaces☆108Updated 8 months ago
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor☆83Updated 3 weeks ago
- A Haskell implementation of the Jinja template language.☆84Updated 8 months ago
- Haskell Functional Reactive Programming framework with type-level clocks☆140Updated last week
- Hypertypes - generic programming for heterogeneous recursive types☆125Updated last year
- Text and Haskell source for my blog series on recursion schemes.☆47Updated 3 years ago
- Strongly-typed System F in Haskell☆120Updated 3 years ago
- GHC Whole Program Compiler and External STG IR tooling☆120Updated 3 months ago
- Language Server for Agda☆122Updated 3 months ago