Alternatives and similar repositories for categorifier-c:

Users that are interested in categorifier-c are comparing it to the libraries listed below

• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆58Updated 2 months ago
• obsidiansystems / dependent-sum
  Dependent sums and supporting typeclasses for comparing and displaying them
  ☆55Updated last year
• ekmett / parsnip
  ☆18Updated 3 years ago
• sellout / caterwaul
  Wailing into the primordial ooze of category theory
  ☆55Updated this week
• Lysxia / first-class-families
  First-class type families
  ☆87Updated 6 months ago
• klapaucius / vector-hashtables
  ☆34Updated 10 months ago
• GaloisInc / parameterized-utils
  A set of utilities for using indexed types including containers, equality, and comparison.
  ☆60Updated this week
• brandonchinn178 / string-syntax
  ☆15Updated 2 weeks ago
• bergey / ghc-passes-graph
  ☆25Updated 4 years ago
• typedbyte / effet
  An effect system based on type classes, written in Haskell.
  ☆44Updated 3 years ago
• ChrisPenner / catalyst
  There are many category theory implementations, but this one is mine
  ☆15Updated 6 months ago
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆65Updated last month
• gelisam / typelevel-rewrite-rules
  rewrite rules for type-level equalities
  ☆62Updated 10 months ago
• sheaf / if-instance
  GHC plugin to branch on whether a constraint is satisfied
  ☆33Updated 3 months ago
• haskellari / some
  Existential type.
  ☆37Updated 2 months ago
• well-typed / gp-zurihac-2020
  Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming
  ☆44Updated 4 years ago
• ekmett / codex
  UI experiments for coda
  ☆66Updated 3 years ago
• Haskell-Chapelure / chapelure
  Chapelure is a diagnostic library for Haskell
  ☆44Updated last year
• ekmett / unboxed
  experimenting with unlifted classes via backpack
  ☆36Updated 2 years ago
• haskell / cabal-cache
  CI assistant
  ☆46Updated last month
• well-typed / memory-usage-zurihac-2021
  ☆34Updated 3 years ago
• coot / ghc-tags-plugin
  Generate tags file for haskell modules (GHC)
  ☆41Updated 2 months ago
• chshersh / dr-cabal
  📊 Haskell dependencies build times profiler
  ☆74Updated 2 years ago
• ekmett / bound
  Combinators for manipulating locally-nameless generalized de Bruijn terms
  ☆123Updated 7 months ago
• Bodigrim / bitvec
  Bit vectors: 8x less memory, up to 3500x faster than Vector Bool
  ☆72Updated 2 months ago
• dnlkrgr / hsreduce
  Minimizing Haskell programs for easier debugging of GHC compiler crashes
  ☆22Updated 3 years ago
• JakobBruenker / monadic-bang
  GHC plugin to desugar ! into do-notation
  ☆37Updated last week
• re-xyr / avail
  Low-overhead effect management for concrete monads
  ☆37Updated 2 years ago
• fumieval / mason
  fleet-footed ByteString builder
  ☆50Updated 7 months ago
• Bodigrim / tasty-bench
  Featherlight benchmark framework, drop-in replacement for criterion and gauge.
  ☆81Updated last week