Alternatives and similar repositories for horde-ad:

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

• andriusstank / downhill
  ☆20Updated 2 years ago
• sellout / compiling-anything-to-categories
  a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.
  ☆19Updated 11 months ago
• maciej-bendkowski / generic-boltzmann-brain
  Analytic sampler framework for algebraic data types
  ☆15Updated last year
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆18Updated last month
• ocramz / ad-delcont
  Reverse-mode automatic differentiation with delimited continuations
  ☆15Updated last year
• emilypi / order
  Order theory
  ☆24Updated last year
• sheaf / if-instance
  GHC plugin to branch on whether a constraint is satisfied
  ☆33Updated 3 months ago
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆58Updated 2 months ago
• jyp / linear-smc
  Linear Types, Symmetric Monoidal Categories, and Tensors
  ☆11Updated last year
• emc2 / arith-encode
  Practical arithmetic encoding (aka Gödel numbering) library for Haskell.
  ☆10Updated 5 years ago
• conal / felix
  Agda category theory library for denotational design
  ☆50Updated 9 months ago
• zanzix / idris-neural-net
  An implementation of a simple Neural network in Idris using category theory.
  ☆23Updated 5 months ago
• DaveBarton / calculi
  Fast parallel calculations in pure mathematics, e.g. Gröbner Bases
  ☆16Updated 6 months ago
• arrayfire / arrayfire-haskell
  Haskell bindings to ArrayFire
  ☆60Updated 3 months ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated 7 months ago
• achirkin / easytensor
  Many-dimensional type-safe numeric ops
  ☆46Updated 3 years ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆52Updated 2 months ago
• chessai / eigen
  Haskell bindings to the Eigen C++ library
  ☆16Updated 9 months ago
• Lysxia / profunctor-monad
  Bidirectional programming in Haskell with monadic profunctors
  ☆46Updated 2 years ago
• b-mehta / combinatorics
  ☆22Updated 2 years ago
• patrickt / empathy
  a modern library for typed path manipulation in Haskell
  ☆36Updated 3 years ago
• ocramz / algebraic-graphs-io
  I/O utilities and datasets for algebraic-graphs
  ☆14Updated 2 years ago
• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆42Updated 4 years ago
• conal / talk-2020-calculating-compilers-categorically
  A talk
  ☆28Updated 3 years ago
• mstksg / opto
  Numerical optimization with support for stochastic optimization, mostly for my own experimental usage
  ☆14Updated 4 years ago
• leanprover / TensorLib
  A verified tensor library in Lean
  ☆20Updated last week
• phadej / overloaded
  Overloaded plugin
  ☆30Updated 8 months ago
• Magalame / fastest-matrices
  Benchmark of the main linear algebra libraries in Haskell
  ☆24Updated 5 years ago
• oisdk / agda-ring-solver
  A fast, easy-to-use ring solver for agda with step-by-step solutions
  ☆40Updated 3 years ago