iokasimov / monopati
Well-typed paths
☆20Updated 6 years ago
Alternatives and similar repositories for monopati:
Users that are interested in monopati are comparing it to the libraries listed below
- Show programming language printed values in a web UI☆24Updated 5 years ago
- deprecated in favor of -XQualifiedDo☆41Updated 3 years ago
- Reasonable Haskell default import☆27Updated 2 years ago
- A lab for future Criterion features.☆28Updated 6 years ago
- A convenient DSL for describing web routes☆42Updated 4 years ago
- An experiment in functional interface design☆23Updated 8 years ago
- ☆24Updated 4 years ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- Generate a cabal freeze file from a stack.yaml☆36Updated 6 years ago
- Automation of Haskell package release process.☆31Updated last year
- high-resolution performance benchmarking☆25Updated 2 weeks ago
- Simplify and render Template Haskell☆18Updated 6 years ago
- Demonstrating comonad transformers.☆36Updated 8 years ago
- Maps using values' monoidal structure during merging☆42Updated 2 months ago
- All of `base` without the `Prelude` module☆44Updated 2 years ago
- Dual Traversable☆42Updated last year
- ☆54Updated 6 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Quasiquoter for LLVM☆31Updated 6 years ago
- Tools for functors from Hask^k to Hask☆23Updated 5 years ago
- ☆30Updated last year
- 🤳 ignore the differences between `a` and `Identity a`☆25Updated 5 years ago
- Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.☆24Updated 6 years ago
- a modern library for typed path manipulation in Haskell☆36Updated 3 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 2 months ago
- Tasty integration for the Hedgehog property testing library☆38Updated 3 months ago
- An alternate definition of Haskell's Functor typeclass☆42Updated 5 years ago
- An approach to managing composable effects, ala mtl/transformers/extensible-effects/Eff☆24Updated 6 years ago
- Various type-aligned sequence data structures.☆20Updated 3 years ago
- Automatic type class law checking.☆24Updated last month