sellout / dualizer
Delete half (minus ε) of your Haskell code!
☆30Updated last month
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
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆27Updated 4 years ago
- Comment on Haskell documentation.☆13Updated 6 years ago
- join and meet semilattices, lower and upper bounds.☆43Updated 7 months ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- deprecated in favor of -XQualifiedDo☆41Updated 4 years ago
- Folds for recursive types with GHC Generics☆26Updated 5 years ago
- Generate a cabal freeze file from a stack.yaml☆36Updated 6 years ago
- A total recursion scheme library for Dhall☆66Updated 2 months ago
- Commutative Applicatives and Semigroups☆31Updated 7 years ago
- a PostgreSQL client library implemented with pure Haskell☆36Updated 4 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 5 months ago
- A recursion scheme library for Idris.☆25Updated 5 months ago
- Wailing into the primordial ooze of category theory☆55Updated last month
- Kleene algebra, regular expressions☆32Updated last year
- A simple XML module for Idris.☆13Updated 4 years ago
- complexity testing for haskell☆48Updated 9 years ago
- Structured logging solution.☆35Updated last month
- A collection of ready-to-use Prometheus Metrics to monitor your Haskell application☆13Updated 8 months ago
- Port of Scala/Haskell Refined library to Idris☆17Updated 4 years ago
- An mtl-style typeclass and transformer for persistent☆11Updated 6 years ago
- Dual Traversable☆42Updated last year
- Serializable closures for distributed programming.☆64Updated last year
- Type-safe time units in Haskell☆49Updated 3 months ago
- A convenient DSL for describing web routes☆42Updated 4 years ago
- Signature inference for Functional Property Discovery in Haskell☆38Updated 7 years ago
- A bad XML parser☆21Updated 8 months ago
- HoTT Note-taking action☆25Updated 6 years ago
- Simple reflection of expressions☆33Updated 3 years ago
- Yet another concurrent playground☆33Updated 9 years ago