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

• ekmett / adjunctions
  Simple adjunctions
  ☆45Updated 3 months ago
• patrickt / empathy
  a modern library for typed path manipulation in Haskell
  ☆36Updated 4 years ago
• cohomolo-gy / homotopy-type-theory-notes
  HoTT Note-taking action
  ☆25Updated 6 years ago
• kowainik / validation-selective
  💂‍♂️ Lightweight pure validation based on Applicative and Selective functors
  ☆69Updated 6 months ago
• ekmett / profunctors
  Haskell 98 Profunctors
  ☆70Updated last week
• well-typed / memory-usage-zurihac-2021
  ☆34Updated 4 years ago
• FormationAI / dhall-bhat
  Tasty meal of Dhall
  ☆66Updated last year
• ekmett / distributive
  Dual Traversable
  ☆42Updated 2 years ago
• gelisam / typelevel-rewrite-rules
  rewrite rules for type-level equalities
  ☆62Updated last year
• ocharles / effect-zoo
  Comparing Haskell effect systems for ergonomics and speed
  ☆66Updated 4 years ago
• ekmett / semigroupoids
  ☆75Updated 3 months ago
• sellout / caterwaul
  Wailing into the primordial ooze of category theory
  ☆55Updated last month
• dfithian / prune-juice
  Prune unused Haskell dependencies.
  ☆47Updated 2 years ago
• jcpetruzza / barbies
  ☆93Updated last year
• guibou / PyF
  Haskell QuasiQuoter for String Formatting
  ☆69Updated 5 months ago
• lehins / scheduler
  A work stealing scheduler
  ☆74Updated 5 months ago
• erikd / jenga
  Generate a cabal freeze file from a stack.yaml
  ☆36Updated 6 years ago
• typedbyte / effet
  An effect system based on type classes, written in Haskell.
  ☆45Updated 3 years ago
• jkachmar / easy-hls-nix
  Easy Haskell Language Server tooling with Nix!
  ☆55Updated 3 years ago
• obsidiansystems / dependent-sum
  Dependent sums and supporting typeclasses for comparing and displaying them
  ☆56Updated last year
• robrix / semilattices
  join and meet semilattices, lower and upper bounds.
  ☆43Updated 8 months ago
• yav / dump-core
  ☆45Updated 3 years ago
• Lysxia / generic-data
  Generic data types in Haskell, utilities for GHC.Generics
  ☆45Updated 2 months ago
• jameshaydon / smproc
  A well-typed symmetric-monoidal category of concurrent processes
  ☆24Updated 6 years ago
• qfpl / sv
  Comma (and other) separated values
  ☆78Updated last year
• sheaf / if-instance
  GHC plugin to branch on whether a constraint is satisfied
  ☆33Updated 3 months ago
• haskell / cabal-cache
  CI assistant
  ☆46Updated 3 weeks ago
• freckle / blammo
  Batteries-included structured logging library
  ☆30Updated last month
• zfoh / zureg
  ZuriHac registration system
  ☆22Updated 3 weeks ago
• sellout / haskerwaul
  Category theory concepts in type classes and instances.
  ☆22Updated last month