sellout / dualizer
Delete half (minus ε) of your Haskell code!
☆30Updated last week
Alternatives and similar repositories for dualizer:
Users that are interested in dualizer are comparing it to the libraries listed below
- Reasonable Haskell default import☆27Updated 2 years ago
- Folds for recursive types with GHC Generics☆26Updated 5 years ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- Tools for functors from Hask^k to Hask☆23Updated 5 years ago
- deprecated in favor of -XQualifiedDo☆41Updated 3 years ago
- join and meet semilattices, lower and upper bounds.☆43Updated 6 months ago
- Yet another concurrent playground☆32Updated 9 years ago
- An append only list in a compact region☆25Updated 6 years ago
- Kleene algebra, regular expressions☆32Updated last year
- An alternate definition of Haskell's Functor typeclass☆42Updated 5 years ago
- ☆23Updated 7 years ago
- A collection of ready-to-use Prometheus Metrics to monitor your Haskell application☆13Updated 7 months ago
- Provides free functors that are adjoint to functors that forget class constraints.☆29Updated 7 months ago
- Comment on Haskell documentation.☆13Updated 6 years ago
- a PostgreSQL client library implemented with pure Haskell☆36Updated 4 years ago
- Generate a cabal freeze file from a stack.yaml☆36Updated 6 years ago
- Messing around☆9Updated 7 years ago
- ☆24Updated 4 years ago
- Structured logging solution.☆35Updated 2 weeks 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…☆21Updated 5 years ago
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆27Updated 3 years ago
- HoTT Note-taking action☆25Updated 6 years ago
- Extensible type-safe unions for Haskell☆33Updated last month
- Dual Traversable☆42Updated last year
- Type Theory with Indexed Equality☆25Updated 8 years ago
- Some useful control operators for looping☆48Updated 5 years ago
- Simple reflection of expressions☆33Updated 3 years ago
- Dependently typed elimination functions using singletons☆28Updated 3 months ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Updated 7 years ago
- Safe web routing in haskell☆30Updated last year