Alternatives and similar repositories for monad-memo:

Users that are interested in monad-memo are comparing it to the libraries listed below

• ekmett / bound
  Combinators for manipulating locally-nameless generalized de Bruijn terms
  ☆123Updated 7 months ago
• bjpop / ministg
  Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.
  ☆72Updated 5 years ago
• jcpetruzza / barbies
  ☆92Updated 11 months ago
• int-index / ether
  Monad Transformers and Classes
  ☆77Updated 5 years ago
• well-typed / generics-sop
  Generic Programming using True Sums of Products
  ☆162Updated 2 months ago
• text-utf8 / text-utf8
  An efficient packed, immutable UTF8-backed Unicode text type for Haskell
  ☆33Updated 6 years ago
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆52Updated 7 years ago
• gelisam / typelevel-rewrite-rules
  rewrite rules for type-level equalities
  ☆62Updated 11 months ago
• konn / type-natural
  Type-level well-kinded natural numbers.
  ☆34Updated 2 months ago
• mokus0 / monad-loops
  Some useful control operators for looping
  ☆48Updated 5 years ago
• sellout / caterwaul
  Wailing into the primordial ooze of category theory
  ☆55Updated 2 weeks ago
• dorchard / type-level-sets
  Type-level sets for Haskell (with value-level counterparts and various operations)
  ☆66Updated last year
• dorchard / effect-monad
  Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.
  ☆99Updated last year
• matt-noonan / justified-containers
  Standard containers, with keys that carry type-level proofs of their own presence.
  ☆80Updated 5 years ago
• serokell / o-clock
  Type-safe time units in Haskell
  ☆49Updated 2 months ago
• yav / dump-core
  ☆45Updated 3 years ago
• Lysxia / generic-data
  Generic data types in Haskell, utilities for GHC.Generics
  ☆45Updated 3 months ago
• obsidiansystems / dependent-sum
  Dependent sums and supporting typeclasses for comparing and displaying them
  ☆55Updated last year
• pigworker / MetaprogAgda
  being the materials for Summer 2013's course
  ☆112Updated last year
• Lysxia / first-class-families
  First-class type families
  ☆87Updated 7 months ago
• goldfirere / effects
  A Haskell translation of Idris's original algebraic effects library
  ☆41Updated 8 years ago
• ekmett / distributive
  Dual Traversable
  ☆42Updated last year
• tweag / distributed-closure
  Serializable closures for distributed programming.
  ☆64Updated last year
• bfops / open-union
  Type-safe open unions in Haskell
  ☆32Updated 6 years ago
• ekmett / parsers
  Generic parser combinators
  ☆86Updated 3 weeks ago
• aaronlevin / free-vl
  van Laarhoven Free Monad with Extensible Effects
  ☆23Updated 9 years ago
• gelisam / category-syntax
  do-notation for Category and "Arrow without arr"
  ☆63Updated 8 years ago
• ocharles / effect-zoo
  Comparing Haskell effect systems for ergonomics and speed
  ☆65Updated 4 years ago
• Lysxia / unparse-attoparsec
  An attoparsec roundtrip
  ☆18Updated 4 years ago
• haskellari / lattices
  Fine-grained lattice primitives for Haskell
  ☆36Updated last month