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
• cohomolo-gy / homotopy-type-theory-notes
  HoTT Note-taking action
  ☆25Updated 6 years ago
• ocharles / effect-zoo
  Comparing Haskell effect systems for ergonomics and speed
  ☆65Updated 4 years ago
• sellout / caterwaul
  Wailing into the primordial ooze of category theory
  ☆55Updated 3 weeks ago
• ekmett / profunctors
  Haskell 98 Profunctors
  ☆71Updated last week
• isovector / type-sets
  type level sets
  ☆67Updated 5 years ago
• gelisam / typelevel-rewrite-rules
  rewrite rules for type-level equalities
  ☆62Updated 11 months ago
• emilypi / smash
  Smash products, Wedge products, and other Pointed stuff
  ☆34Updated 2 years ago
• robrix / semilattices
  join and meet semilattices, lower and upper bounds.
  ☆43Updated 6 months ago
• haskell / cabal-cache
  CI assistant
  ☆46Updated 2 months ago
• kowainik / validation-selective
  💂‍♂️ Lightweight pure validation based on Applicative and Selective functors
  ☆67Updated 3 months ago
• mrkkrp / facts
  Refined types
  ☆57Updated 6 years ago
• gelisam / magic-typelevel-elem
  Demonstrating how to make type families faster using typechecker plugins
  ☆21Updated 4 years ago
• treeowl / sort-traversable
  Sort any Traversable container
  ☆41Updated 2 years ago
• ekmett / adjunctions
  Simple adjunctions
  ☆45Updated 3 weeks ago
• ekmett / semigroupoids
  ☆74Updated last month
• Lysxia / generic-data
  Generic data types in Haskell, utilities for GHC.Generics
  ☆45Updated 3 months ago
• ekmett / distributive
  Dual Traversable
  ☆42Updated last year
• yav / dump-core
  ☆45Updated 3 years ago
• obsidiansystems / dependent-sum
  Dependent sums and supporting typeclasses for comparing and displaying them
  ☆56Updated last year
• ChrisPenner / catalyst
  There are many category theory implementations, but this one is mine
  ☆16Updated 7 months ago
• rampion / constraint-unions
  A syntax for unions of constraints in Haskell
  ☆70Updated 7 years ago
• DoctorRyner / sae
  An Idris 2 build tool and a package manager
  ☆28Updated 2 years ago
• jcpetruzza / barbies
  ☆93Updated last year
• well-typed / memory-usage-zurihac-2021
  ☆34Updated 3 years ago
• bgamari / monoidal-containers
  Maps using values' monoidal structure during merging
  ☆42Updated this week
• domenkozar / releaser
  Automation of Haskell package release process.
  ☆31Updated last year
• goldfirere / effects
  A Haskell translation of Idris's original algebraic effects library
  ☆41Updated 8 years ago
• NorfairKing / yamlparse-applicative
  DEPRECATED use autodocodec instead An optparse-applicative -style explainable yaml parser.
  ☆28Updated 3 years ago
• sellout / dada
  A total recursion scheme library for Dhall
  ☆66Updated last month