Alternatives and similar repositories for KeyMonad

Users that are interested in KeyMonad are comparing it to the libraries listed below

• patrickt / empathy
  a modern library for typed path manipulation in Haskell
  ☆36Updated 3 years ago
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆48Updated 5 months ago
• atzeus / type-aligned
  Various type-aligned sequence data structures.
  ☆20Updated 3 years ago
• spinda / liquidhaskell-cabal
  💧 Liquid Haskell integration for Cabal and Stack
  ☆25Updated 6 years ago
• ocharles / transformers-eff
  An approach to managing composable effects, ala mtl/transformers/extensible-effects/Eff
  ☆24Updated 7 years ago
• Lysxia / generic-recursion-schemes
  Folds for recursive types with GHC Generics
  ☆26Updated 5 years ago
• blamario / monoid-subclasses
  Subclasses of Monoid with a solid theoretical foundation and practical purposes
  ☆33Updated 3 months ago
• ekmett / perhaps
  A monad, perhaps.
  ☆32Updated 5 years ago
• gergoerdi / tandoori
  Compositional type checking for Haskell
  ☆37Updated 14 years ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆53Updated last month
• mstksg / functor-combinators
  Combine and enhance Functors
  ☆39Updated last year
• emilaxelsson / imperative-edsl
  Deep embedding of imperative programs with code generation
  ☆23Updated 3 years ago
• mkloczko / derive-storable
  Deriving Storable instances using GHC.Generics
  ☆16Updated 3 years ago
• sellout / haskerwaul
  Category theory concepts in type classes and instances.
  ☆22Updated last week
• ekmett / promises
  lazy promises
  ☆28Updated 4 years ago
• camfort / reprinter
  Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring
  ☆27Updated 4 years ago
• Gabriella439 / managed
  A monad for managed values
  ☆50Updated 2 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• rampion / kinder-functor
  An alternate definition of Haskell's Functor typeclass
  ☆42Updated 5 years ago
• erikd / jenga
  Generate a cabal freeze file from a stack.yaml
  ☆36Updated 6 years ago
• Gabriella439 / pipes-concurrency
  Concurrency for the pipes ecosystem
  ☆44Updated 2 years ago
• frerich / catamorphism
  A package exposing a function for generating catamorphisms.
  ☆28Updated 7 years ago
• SamuelSchlesinger / gaia
  An experiment in functional interface design
  ☆24Updated 8 years ago
• Gabriella439 / Haskell-Total-Library
  Exhaustive pattern matching using lenses, traversals, and prisms
  ☆32Updated 2 years ago
• ekmett / distributive
  Dual Traversable
  ☆42Updated 2 years ago
• Tritlo / ExampleHolePlugin
  ☆24Updated 5 years ago
• tranma / empirical-big-oh
  Measure time complexity empirically.
  ☆48Updated 9 years ago
• byteverse / json-syntax
  High-performance JSON parser
  ☆26Updated last year
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated 2 months ago
• alanz / machines-play
  Playing with https://github.com/ekmett/machines
  ☆51Updated 7 years ago