Monomorphize polymorphic functions for testing
☆36Jan 17, 2017Updated 9 years ago
Alternatives and similar repositories for metamorph
Users that are interested in metamorph are comparing it to the libraries listed below
Sorting:
- reverse dependency build matrix generator☆33Sep 19, 2020Updated 5 years ago
- A tool that generates a data structure from a schema and some relational queries, using modern database techniques to make queries highly…☆10Jul 25, 2021Updated 4 years ago
- Rapid prototyping with GHCi☆59Jul 10, 2018Updated 7 years ago
- ☆13Nov 1, 2021Updated 4 years ago
- Basic examples and functions for generics-sop☆19Nov 8, 2023Updated 2 years ago
- [Haskell] The "Network.Multicast" module is for sending UDP datagrams over multicast (class D) addresses.☆23Oct 22, 2023Updated 2 years ago
- Constraint-based generics☆50Jan 6, 2026Updated last month
- Dependently typed elimination functions using singletons☆28Jan 11, 2026Updated last month
- Functionality for beautifying GHCi☆20Apr 6, 2020Updated 5 years ago
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆18Feb 20, 2026Updated last week
- A package re-exporting the verified subset of containers☆20Jun 18, 2018Updated 7 years ago
- Extend GHC's type checker with user-defined rules, without writing a type checker plugin.☆18Sep 20, 2021Updated 4 years ago
- Maps using values' monoidal structure during merging☆42Jan 28, 2026Updated last month
- Continuously varying values, made easy :)☆42Oct 21, 2019Updated 6 years ago
- Example uses of linear types☆42Jun 25, 2020Updated 5 years ago
- Haskell 98 Profunctors☆70Jun 17, 2025Updated 8 months ago
- Unpinned byte arrays in GHC haskell☆22Jan 8, 2019Updated 7 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18May 15, 2019Updated 6 years ago
- Operations on files and directories with typed paths☆32Feb 2, 2026Updated 3 weeks ago
- An application to visualize the semantic distance between two words using the Wordnet lexical database and algorithmic path finding.☆11Jan 18, 2021Updated 5 years ago
- Handle ASCII text with style and safety☆10Mar 23, 2025Updated 11 months ago
- A hack to find types in Haskell codebases☆10Aug 15, 2015Updated 10 years ago
- A WIP compiler for a functional language. Very incomplete!☆16Nov 6, 2021Updated 4 years ago
- Boring and Absurd types☆18Dec 27, 2024Updated last year
- Split integers into digits, blazingly fast☆14Dec 28, 2025Updated 2 months ago
- Web frontend for GHC☆12Dec 10, 2019Updated 6 years ago
- Parse bytes fast☆25Nov 17, 2025Updated 3 months ago
- All the byte bashing you didn't know you wanted in Haskell.☆21Aug 7, 2021Updated 4 years ago
- All of `base` without the `Prelude` module☆44Jan 30, 2023Updated 3 years ago
- rewrite rules for type-level equalities☆62Aug 29, 2025Updated 6 months ago
- CLI tool for Hackage☆27Sep 1, 2025Updated 6 months ago
- Omit fields for instance deriving☆37Jun 5, 2020Updated 5 years ago
- GHC plugin to desugar ! into do-notation☆38Feb 4, 2026Updated 3 weeks ago
- ListT done right☆15Oct 11, 2023Updated 2 years ago
- 🐙 discover Dicts☆14Jan 25, 2018Updated 8 years ago
- A tutorial on writing a concurrency testing tool in Haskell☆12Nov 5, 2017Updated 8 years ago
- ☆14Apr 17, 2022Updated 3 years ago
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆21Oct 28, 2019Updated 6 years ago
- type level sets☆67Nov 19, 2019Updated 6 years ago