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 10 months ago
• philzook58 / ad-lens
  Automatic Differentiation using Pseudo Lenses. Neat.
  ☆20Updated 5 years ago
• ocramz / ad-delcont
  Reverse-mode automatic differentiation with delimited continuations
  ☆15Updated 2 years ago
• andriusstank / downhill
  ☆20Updated 2 years ago
• oisdk / type-indexed-queues
  Queues with verified and unverified versions
  ☆9Updated 8 years ago
• mstksg / opto
  Numerical optimization with support for stochastic optimization, mostly for my own experimental usage
  ☆14Updated 5 years ago
• abarbu / haskell-torch
  Practical Deep Learning in Haskell now!
  ☆52Updated 2 years ago
• arrayfire / arrayfire-haskell
  Haskell bindings to ArrayFire
  ☆60Updated 7 months ago
• folivetti / srtree
  Haskell library for representing and manipulating Symbolic Regression Tree
  ☆11Updated 3 weeks ago
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆84Updated 2 months ago
• maciej-bendkowski / generic-boltzmann-brain
  Analytic sampler framework for algebraic data types
  ☆16Updated 2 years ago
• zanzix / idris-neural-net
  An implementation of a simple Neural network in Idris using category theory.
  ☆23Updated 9 months ago
• mstksg / backprop-learn
  Combinators and types for easily building trainable neural networks using the backprop library
  ☆33Updated 5 years ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆53Updated 3 months ago
• BobMcDear / minbpe-hs
  Byte-level byte pair encoding (BPE) in Haskell
  ☆16Updated last year
• ocramz / algebraic-graphs-io
  I/O utilities and datasets for algebraic-graphs
  ☆14Updated 2 years ago
• jtobin / deanie
  An embedded probabilistic programming language.
  ☆34Updated 8 years ago
• ajknapp / accelerate-ad
  Combinatory automatic differentiation in Haskell for heterogeneous computing.
  ☆22Updated 6 years ago
• Ebanflo42 / Persistence
  A topological data analysis library for Haskell
  ☆29Updated 4 years ago
• BinderDavid / haskell-spec
  Formal specification of the Haskell Language Report
  ☆17Updated last week
• sellout / compiling-anything-to-categories
  a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.
  ☆21Updated last year
• sheaf / if-instance
  GHC plugin to branch on whether a constraint is satisfied
  ☆33Updated 3 months ago
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆19Updated 2 months ago
• jyp / linear-smc
  Linear Types, Symmetric Monoidal Categories, and Tensors
  ☆13Updated last year
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆64Updated 3 years ago
• jwiegley / coq-cds4ltl
  A formalization of finite, constructive log analysis using linear temporal logic
  ☆22Updated last month
• byorgey / boltzmann
  ☆10Updated 9 years ago
• emc2 / arith-encode
  Practical arithmetic encoding (aka Gödel numbering) library for Haskell.
  ☆10Updated 5 years ago
• o1lo01ol1o / diffhask
  DSL for forward and reverse mode automatic differentiation in Haskell. Port of DiffSharp.
  ☆27Updated 6 years ago
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆62Updated 2 months ago