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
- Constraint-based generics☆50Jan 6, 2026Updated 2 months ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18May 15, 2019Updated 6 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
- Extend GHC's type checker with user-defined rules, without writing a type checker plugin.☆18Sep 20, 2021Updated 4 years ago
- Rapid prototyping with GHCi☆59Jul 10, 2018Updated 7 years ago
- ☆13Nov 1, 2021Updated 4 years ago
- A monad transformer and corresponding type class for computations which consume random values.☆34Jan 20, 2026Updated 2 months ago
- Dependently typed elimination functions using singletons☆28Jan 11, 2026Updated 2 months ago
- GHC plugin to desugar ! into do-notation☆38Feb 4, 2026Updated last month
- Basic examples and functions for generics-sop☆19Nov 8, 2023Updated 2 years ago
- Unpinned byte arrays in GHC haskell☆22Jan 8, 2019Updated 7 years ago
- A hack to find types in Haskell codebases☆10Aug 15, 2015Updated 10 years ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Nov 3, 2021Updated 4 years ago
- [Haskell] The "Network.Multicast" module is for sending UDP datagrams over multicast (class D) addresses.☆23Oct 22, 2023Updated 2 years ago
- Provides free functors that are adjoint to functors that forget class constraints.☆29Jan 6, 2026Updated 2 months ago
- A WIP compiler for a functional language. Very incomplete!☆16Nov 6, 2021Updated 4 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…☆22Oct 28, 2019Updated 6 years ago
- Boring and Absurd types☆18Dec 27, 2024Updated last year
- All the byte bashing you didn't know you wanted in Haskell.☆21Aug 7, 2021Updated 4 years ago
- Example uses of linear types☆42Jun 25, 2020Updated 5 years ago
- Parse bytes fast☆25Nov 17, 2025Updated 4 months ago
- Functionality for beautifying GHCi☆20Apr 6, 2020Updated 5 years ago
- Continuously varying values, made easy :)☆42Oct 21, 2019Updated 6 years ago
- Split integers into digits, blazingly fast☆14Dec 28, 2025Updated 2 months ago
- A monad, perhaps.☆32Feb 10, 2020Updated 6 years ago
- Operations on files and directories with typed paths☆32Feb 2, 2026Updated last month
- type level sets☆67Nov 19, 2019Updated 6 years ago
- Omit fields for instance deriving☆37Jun 5, 2020Updated 5 years ago
- Haskell 98 Profunctors☆70Jun 17, 2025Updated 9 months ago
- A pretty-printing library for laying out text in two dimensions, using a simple box model.☆38Dec 22, 2025Updated 2 months 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
- ☆14Apr 17, 2022Updated 3 years ago
- Get terminal window width and height☆14Aug 14, 2024Updated last year
- A library for building bots compositionally.☆52Mar 10, 2025Updated last year
- Stream processing with a series of tubes.☆14Sep 1, 2016Updated 9 years ago
- An interpreted lambda calculus with Algebraic and Recursive Types.☆20Jul 13, 2021Updated 4 years ago
- A package re-exporting the verified subset of containers☆20Jun 18, 2018Updated 7 years ago
- Haskell counters that can be safely incremented from multiple threads☆19Oct 7, 2025Updated 5 months ago