Surgery for generic data types
☆25Jan 25, 2021Updated 5 years ago
Alternatives and similar repositories for generic-data-surgery
Users that are interested in generic-data-surgery are comparing it to the libraries listed below
Sorting:
- rewrite rules for type-level equalities☆62Aug 29, 2025Updated 6 months ago
- Type-level lenses using singletons because why not☆15Dec 19, 2018Updated 7 years ago
- Generic data types in Haskell, utilities for GHC.Generics☆45Dec 29, 2025Updated 2 months ago
- tools for writing better type errors☆73Sep 15, 2023Updated 2 years ago
- Regular expression matching of Haskell types☆13Apr 2, 2016Updated 9 years ago
- 📤 defer instance resolution until runtime☆18Sep 23, 2019Updated 6 years ago
- ☆93Apr 8, 2024Updated last year
- ☆12Jul 8, 2021Updated 4 years ago
- Type-safe printf from parsing GHC TypeLits Symbol☆28Sep 12, 2024Updated last year
- deprecated by `design-tools`☆17Dec 5, 2018Updated 7 years ago
- Constraint-based generics☆50Jan 6, 2026Updated 2 months ago
- First-class type families☆91Nov 6, 2025Updated 4 months ago
- Programmatically create new instances using core-to-core plugins☆11Mar 24, 2021Updated 4 years ago
- Directed Acyclic Graphs☆21Jan 12, 2025Updated last year
- ☆23May 29, 2023Updated 2 years ago
- Demonstrating how to make type families faster using typechecker plugins☆21Dec 29, 2020Updated 5 years ago
- ☆24May 22, 2020Updated 5 years ago
- deprecated in favor of -XQualifiedDo☆41May 8, 2021Updated 4 years ago
- A simple set of io-uring bindings in Haskell☆28Jul 21, 2020Updated 5 years ago
- Effectful Streaming for Idris☆15Dec 13, 2020Updated 5 years ago
- Folds for recursive types with GHC Generics☆28Aug 9, 2025Updated 7 months ago
- A haskell library for principled, cross-platform & extensible hashing of types, including an implementation of the FNV-1a algorithm. (DEV…☆23Jan 10, 2017Updated 9 years ago
- An implementation of the actor model in Haskell using STM☆17Feb 25, 2026Updated 3 weeks ago
- Haskell parsing combinator liibrary that can be fed the input and emit the parsed output incrementally☆23Apr 13, 2025Updated 11 months ago
- Kleene algebra, regular expressions☆33Nov 18, 2023Updated 2 years ago
- Extensible sums and products for Haskell☆19Feb 25, 2026Updated 3 weeks ago
- A fast open-union type, suitable for 100+ contained alternatives.☆100Apr 28, 2024Updated last year
- A monadic interface for DAG construction.☆24May 11, 2021Updated 4 years ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Feb 15, 2018Updated 8 years ago
- More strongly typed variant of the ixset Haskell package☆26Jul 28, 2025Updated 7 months ago
- Minimal binary serialization library with focus on performance☆25Jul 16, 2025Updated 8 months ago
- Lens interface for your filesystem☆22Dec 21, 2020Updated 5 years ago
- ✂️ Hakyll shortcut-links in markdown files☆11Oct 10, 2025Updated 5 months ago
- Tasty integration for the Hedgehog property testing library☆38Dec 17, 2025Updated 3 months ago
- Accessing Postgres in a data frame in Haskell☆24Dec 12, 2023Updated 2 years ago
- Automatically trace all (showable) binds in do expressions☆84Jun 11, 2018Updated 7 years ago
- Import from the Tiled map editor.☆16Sep 17, 2018Updated 7 years ago
- Inspection Testing for Haskell☆190Jan 17, 2026Updated 2 months ago
- Standard module for type-level programming in Haskell☆31Jul 1, 2019Updated 6 years ago