mvv / data-elf
ELF data structures for Haskell
☆24Updated last year
Related projects ⓘ
Alternatives and complementary repositories for data-elf
- Haskell library for efficiently building up buffers☆26Updated 2 months ago
- Automatically make lenses from data structures implementing Generic☆26Updated 9 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 6 months ago
- More strongly typed variant of the ixset Haskell package☆23Updated 2 months ago
- ☆25Updated 8 years ago
- Run lifted IO operations asynchronously and wait for their results☆29Updated last week
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 5 months ago
- An append only list in a compact region☆25Updated 6 years ago
- A Haskell code formatter using prettyprinter and the GHC API☆24Updated 6 years ago
- ☆17Updated 2 years ago
- Haskell URI parsing as ByteStrings☆35Updated 10 months ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆18Updated 7 years ago
- A haskell library for principled, cross-platform & extensible hashing of types, including an implementation of the FNV-1a algorithm. (DEV…☆23Updated 7 years ago
- A Haskell library supporting flexible, dynamic file-based configuration.☆16Updated 5 years ago
- Dump GHC's abstract syntax trees☆41Updated 2 years ago
- haskell library for monad transformers, like mtl's ReaderT/StateT, but more than one contained value/type☆17Updated 2 years ago
- Haskell types and parsers for software version numbers.☆20Updated 5 months ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Updated 7 years ago
- High-resolution clock functions: monotonic, realtime, cputime.☆58Updated last year
- 💧 Liquid Haskell integration for Cabal and Stack☆24Updated 5 years ago
- library to manipulate git repositories in haskell (no bindings)☆49Updated 5 years ago
- Haskell routes using dependent types☆10Updated 8 years ago
- Experiments on the construction of functions☆29Updated 8 years ago
- Deep evaluation of data structures without NFData☆11Updated 9 years ago
- A bad XML parser☆19Updated 2 months ago
- SPAKE2 key exchange protocol for Haskell☆14Updated last year
- ☆13Updated 7 years ago
- ☆34Updated 9 years ago