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:
- Type-level lenses using singletons because why not☆15Dec 19, 2018Updated 7 years ago
- rewrite rules for type-level equalities☆62Aug 29, 2025Updated 6 months ago
- Generic data types in Haskell, utilities for GHC.Generics☆45Dec 29, 2025Updated 2 months ago
- ☆12Jul 8, 2021Updated 4 years ago
- tools for writing better type errors☆73Sep 15, 2023Updated 2 years ago
- Constraint-based generics☆50Jan 6, 2026Updated last month
- Regular expression matching of Haskell types☆13Apr 2, 2016Updated 9 years ago
- Programmatically create new instances using core-to-core plugins☆11Mar 24, 2021Updated 4 years ago
- 📤 defer instance resolution until runtime☆18Sep 23, 2019Updated 6 years ago
- First-class type families☆91Nov 6, 2025Updated 3 months ago
- deprecated by `design-tools`☆17Dec 5, 2018Updated 7 years ago
- ☆93Apr 8, 2024Updated last year
- Haskell parsing combinator liibrary that can be fed the input and emit the parsed output incrementally☆23Apr 13, 2025Updated 10 months ago
- An implementation of the actor model in Haskell using STM☆17Updated this week
- 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
- deprecated in favor of -XQualifiedDo☆41May 8, 2021Updated 4 years ago
- More strongly typed variant of the ixset Haskell package☆26Jul 28, 2025Updated 7 months ago
- Demonstrating how to make type families faster using typechecker plugins☆21Dec 29, 2020Updated 5 years ago
- Directed Acyclic Graphs☆21Jan 12, 2025Updated last year
- Folds for recursive types with GHC Generics☆28Aug 9, 2025Updated 6 months ago
- ☆24May 22, 2020Updated 5 years ago
- Type-safe printf from parsing GHC TypeLits Symbol☆28Sep 12, 2024Updated last year
- ☆23May 29, 2023Updated 2 years ago
- Accessing Postgres in a data frame in Haskell☆24Dec 12, 2023Updated 2 years ago
- A fast open-union type, suitable for 100+ contained alternatives.☆100Apr 28, 2024Updated last year
- open union and open product types in Haskell☆31Aug 9, 2020Updated 5 years ago
- Import from the Tiled map editor.☆16Sep 17, 2018Updated 7 years ago
- Servant based API and server for token based authorisation☆14Sep 21, 2019Updated 6 years ago
- GCode parser, pretty-printer and processing utils☆15Nov 13, 2023Updated 2 years ago
- Inspection Testing for Haskell☆190Jan 17, 2026Updated last month
- GHC version of haskell-src-exts exactPrint☆72Oct 14, 2025Updated 4 months ago
- Haskell Evaluation inside of LaTeX code.☆22Sep 28, 2023Updated 2 years ago
- Build servers in Hyper using Trout☆16Jul 2, 2020Updated 5 years ago
- DSL for attaching documentation to persistent entities☆14May 30, 2025Updated 9 months ago
- ✂️ Hakyll shortcut-links in markdown files☆11Oct 10, 2025Updated 4 months ago
- Effectful Streaming for Idris☆15Dec 13, 2020Updated 5 years ago
- A simple set of io-uring bindings in Haskell☆28Jul 21, 2020Updated 5 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆65Updated this week
- Kleene algebra, regular expressions☆33Nov 18, 2023Updated 2 years ago