Surgery for generic data types
☆26Jan 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Regular expression matching of Haskell types☆13Apr 2, 2016Updated 10 years ago
- rewrite rules for type-level equalities☆62Aug 29, 2025Updated last year
- Generic data types in Haskell, utilities for GHC.Generics☆47Jun 24, 2026Updated 4 months ago
- deprecated by `design-tools`☆17Dec 5, 2018Updated 7 years ago
- Type-level lenses using singletons because why not☆15Dec 19, 2018Updated 7 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- tools for writing better type errors☆74Sep 15, 2023Updated 3 years ago
- ☆23May 22, 2020Updated 6 years ago
- deprecated in favor of -XQualifiedDo☆41May 8, 2021Updated 5 years ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Feb 15, 2018Updated 8 years ago
- Constraint-based generics☆51Jan 6, 2026Updated 9 months ago
- Folds for recursive types with GHC Generics☆29Apr 13, 2026Updated 6 months ago
- 📤 defer instance resolution until runtime☆18Sep 23, 2019Updated 7 years ago
- Extensible records and variants indexed by a type-level Red-Black tree.☆19Apr 27, 2024Updated 2 years ago
- ☆93Apr 8, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆22Oct 28, 2019Updated 7 years ago
- Programmatically create new instances using core-to-core plugins☆11Mar 24, 2021Updated 5 years ago
- ☆12Jul 8, 2021Updated 5 years ago
- Type-safe printf from parsing GHC TypeLits Symbol☆28Sep 12, 2024Updated 2 years ago
- First-class type families☆94Nov 6, 2025Updated 11 months ago
- ☆23May 29, 2023Updated 3 years ago
- Directed Acyclic Graphs☆21Sep 4, 2026Updated last month
- Demonstrating how to make type families faster using typechecker plugins☆20Dec 29, 2020Updated 5 years ago
- A simple set of io-uring bindings in Haskell☆28Jul 21, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Modern compiler implementation in ML, in Haskell☆16Apr 4, 2018Updated 8 years 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
- Effectful Streaming for Idris☆15Dec 13, 2020Updated 5 years ago
- Extensional capabilities and deriving combinators☆226Oct 24, 2025Updated last year
- An implementation of the actor model in Haskell using STM☆17Sep 24, 2026Updated last month
- Haskell parsing combinator liibrary that can be fed the input and emit the parsed output incrementally☆23Apr 13, 2025Updated last year
- Automatically trace all (showable) binds in do expressions☆84Jun 11, 2018Updated 8 years ago
- Proof search for intuitionistic propositional logic using Dyckhoff's LJT.☆27Nov 27, 2023Updated 2 years ago
- Automatic piecewise-mutable references for your types☆43Jul 26, 2026Updated 3 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆16Feb 18, 2025Updated last year
- A GHC source plugin which detects opportunities to use coerce☆17Aug 8, 2018Updated 8 years ago
- GHC version of haskell-src-exts exactPrint☆73Oct 6, 2026Updated 3 weeks ago
- Simplify and render Template Haskell☆18Aug 19, 2018Updated 8 years ago
- Extensible sums and products for Haskell☆19Feb 25, 2026Updated 8 months ago
- Kleene algebra, regular expressions☆34May 12, 2026Updated 5 months ago
- Inspection Testing for Haskell☆192Jan 17, 2026Updated 9 months ago