Alternatives and similar repositories for Type-Arithmetic-and-the-Yoneda-Perspective

Users that are interested in Type-Arithmetic-and-the-Yoneda-Perspective are comparing it to the libraries listed below

• patrickt / empathy
  a modern library for typed path manipulation in Haskell
  ☆36Updated 3 years ago
• ocharles / effect-zoo
  Comparing Haskell effect systems for ergonomics and speed
  ☆66Updated 4 years ago
• gelisam / typelevel-rewrite-rules
  rewrite rules for type-level equalities
  ☆62Updated last year
• kowainik / validation-selective
  💂‍♂️ Lightweight pure validation based on Applicative and Selective functors
  ☆67Updated 4 months ago
• dalaing / cofun
  Cofun with Cofree Comonads
  ☆32Updated 8 years ago
• ekmett / profunctors
  Haskell 98 Profunctors
  ☆71Updated last month
• ekmett / distributive
  Dual Traversable
  ☆42Updated last year
• emilypi / smash
  Smash products, Wedge products, and other Pointed stuff
  ☆34Updated 3 years ago
• cohomolo-gy / homotopy-type-theory-notes
  HoTT Note-taking action
  ☆25Updated 6 years ago
• haskell / cabal-cache
  CI assistant
  ☆46Updated 3 months ago
• yav / dump-core
  ☆45Updated 3 years ago
• treeowl / sort-traversable
  Sort any Traversable container
  ☆41Updated 2 years ago
• well-typed / memory-usage-zurihac-2021
  ☆34Updated 3 years ago
• mrkkrp / facts
  Refined types
  ☆57Updated 6 years ago
• haskell-text / text-display
  A Typeclass for user-facing output
  ☆56Updated last month
• ChrisPenner / catalyst
  There are many category theory implementations, but this one is mine
  ☆16Updated 8 months ago
• sellout / caterwaul
  Wailing into the primordial ooze of category theory
  ☆55Updated 2 months ago
• sellout / dada
  A total recursion scheme library for Dhall
  ☆66Updated 2 months ago
• clash-lang / ghc-typelits-natnormalise
  Normalise GHC.TypeLits.Nat equations
  ☆43Updated 2 weeks ago
• bgamari / monoidal-containers
  Maps using values' monoidal structure during merging
  ☆42Updated last month
• robrix / semilattices
  join and meet semilattices, lower and upper bounds.
  ☆43Updated 7 months ago
• ekmett / linear-logic
  They see me rollin'. They're Heyting. -- Chamillionaire, 2005
  ☆83Updated 4 years ago
• gelisam / category-syntax
  do-notation for Category and "Arrow without arr"
  ☆63Updated 8 years ago
• Bodigrim / poly
  Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)
  ☆68Updated last month
• sheaf / if-instance
  GHC plugin to branch on whether a constraint is satisfied
  ☆33Updated last month
• tomjaguarpaw / product-profunctors
  ☆19Updated 3 months ago
• freckle / blammo
  Batteries-included structured logging library
  ☆30Updated last month
• ekmett / parsnip
  ☆18Updated 4 years ago
• NorfairKing / yamlparse-applicative
  DEPRECATED use autodocodec instead An optparse-applicative -style explainable yaml parser.
  ☆28Updated 3 years ago
• ekmett / adjunctions
  Simple adjunctions
  ☆46Updated 2 months ago