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 last year
• sheaf / if-instance
  GHC plugin to branch on whether a constraint is satisfied
  ☆30Updated 2 months ago
• DaveBarton / calculi
  Fast parallel calculations in pure mathematics, e.g. Gröbner Bases
  ☆16Updated 5 months ago
• emc2 / arith-encode
  Practical arithmetic encoding (aka Gödel numbering) library for Haskell.
  ☆10Updated 5 years ago
• jyp / linear-smc
  Linear Types, Symmetric Monoidal Categories, and Tensors
  ☆11Updated 11 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 10 months ago
• ocramz / algebraic-graphs-io
  I/O utilities and datasets for algebraic-graphs
  ☆14Updated 2 years 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.
  ☆58Updated last month
• emilypi / order
  Order theory
  ☆24Updated last year
• patrickt / empathy
  a modern library for typed path manipulation in Haskell
  ☆36Updated 3 years ago
• maciej-bendkowski / generic-boltzmann-brain
  Analytic sampler framework for algebraic data types
  ☆14Updated last year
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆52Updated last month
• input-output-hk / typed-protocols
  Session types framework with support of protocol pipelining.
  ☆16Updated last week
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆18Updated this week
• philzook58 / ad-lens
  Automatic Differentiation using Pseudo Lenses. Neat.
  ☆19Updated 5 years ago
• Lysxia / profunctor-monad
  Bidirectional programming in Haskell with monadic profunctors
  ☆46Updated 2 years ago
• tweag / timestats
  A library to profile time in a Haskell program
  ☆17Updated 8 months ago
• leanprover / TensorLib
  A verified tensor library in Lean
  ☆20Updated 3 weeks ago
• arrayfire / arrayfire-haskell
  Haskell bindings to ArrayFire
  ☆60Updated 2 months ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated 6 months ago
• dmjio / typed-interpolation
  Type-level interpolations in various forms
  ☆12Updated 2 months ago
• conal / talk-2020-calculating-compilers-categorically
  A talk
  ☆28Updated 3 years ago
• YellPika / constraint-rules
  Extend GHC's type checker with user-defined rules, without writing a type checker plugin.
  ☆18Updated 3 years ago
• BobMcDear / minbpe-hs
  Byte-level byte pair encoding (BPE) in Haskell
  ☆12Updated 8 months ago
• augustss / MicroCabal
  Reimplementation of a subset of Cabal
  ☆24Updated 3 weeks ago
• augustss / orthotope
  ☆25Updated last month
• ajknapp / accelerate-ad
  Combinatory automatic differentiation in Haskell for heterogeneous computing.
  ☆21Updated 6 years ago
• conal / paper-2021-language-derivatives
  Paper and talk
  ☆50Updated last year