Alternatives and similar repositories for horde-ad:

Users that are interested in horde-ad are comparing it to the libraries listed below

• DaveBarton / calculi
  Fast parallel calculations in pure mathematics, e.g. Gröbner Bases
  ☆16Updated 4 months ago
• sellout / compiling-anything-to-categories
  a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.
  ☆19Updated 9 months ago
• zanzix / idris-neural-net
  An implementation of a simple Neural network in Idris using category theory.
  ☆23Updated 4 months ago
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆57Updated this week
• emilypi / order
  Order theory
  ☆23Updated last year
• mjhopkins / category-cheat-sheet
  Cheat sheet for Haskellers wanting to get up to speed with category theory
  ☆12Updated 4 years ago
• Lysxia / profunctor-monad
  Bidirectional programming in Haskell with monadic profunctors
  ☆44Updated 2 years ago
• conal / talk-2020-calculating-compilers-categorically
  A talk
  ☆28Updated 3 years ago
• andriusstank / downhill
  ☆20Updated last year
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆18Updated last week
• conal / felix
  Agda category theory library for denotational design
  ☆51Updated 7 months ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆52Updated 2 weeks ago
• input-output-hk / typed-protocols
  Session types framework with support of protocol pipelining.
  ☆15Updated last week
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated 5 months ago
• ocramz / ad-delcont
  Reverse-mode automatic differentiation with delimited continuations
  ☆15Updated last year
• ocramz / algebraic-graphs-io
  I/O utilities and datasets for algebraic-graphs
  ☆14Updated 2 years ago
• arrayfire / arrayfire-haskell
  Haskell bindings to ArrayFire
  ☆60Updated last month
• sheaf / if-instance
  GHC plugin to branch on whether a constraint is satisfied
  ☆30Updated last month
• emc2 / arith-encode
  Practical arithmetic encoding (aka Gödel numbering) library for Haskell.
  ☆10Updated 5 years ago
• effectfully / Generic
  A library for doing generic programming in Agda
  ☆31Updated 3 years ago
• haskellari / some
  Existential type.
  ☆36Updated 3 weeks ago
• leftaroundabout / Symbolic-math-HaTeX
  Convenient Haskell syntax for writing in LaTeX math expressions
  ☆28Updated 10 months ago
• robrix / sequoia
  classical sequent calculus, embedded in Haskell
  ☆19Updated 2 years ago
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆84Updated last year
• bobatkey / agda-metric-reals
  ☆28Updated 2 years ago
• konn / ad-delcont-primop
  ☆17Updated last year
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆28Updated last year
• ToposInstitute / polytt
  A type theory with native support for Polynomial Functors.
  ☆39Updated last year
• cachix / haskell-release-action
  Automation for releasing haskell packages
  ☆18Updated last year
• YellPika / constraint-rules
  Extend GHC's type checker with user-defined rules, without writing a type checker plugin.
  ☆18Updated 3 years ago