Alternatives and similar repositories for AD-Rosetta-Stone:

Users that are interested in AD-Rosetta-Stone are comparing it to the libraries listed below

• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆75Updated 7 years ago
• axch / dysvunctional-language
  Running the code you want to write as fast as the code you have to write
  ☆140Updated 8 years ago
• microsoft / knossos-ksc
  Compiler with automatic differentiation
  ☆46Updated last year
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆25Updated last year
• bgamari / optimization
  Some numerical optimization methods implemented in Haskell
  ☆47Updated 4 years ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆64Updated 3 years ago
• conal / paper-2020-higher-order-ad
  Higher-order, higher-order automatic differentiation
  ☆30Updated 5 years ago
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 6 years ago
• konn / smooth
  Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras
  ☆17Updated 3 years ago
• friedbrice / AutoDiff
  Code snippets accompanying the talk "Automatic Differentiation in Haskell."
  ☆19Updated 4 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆72Updated 12 years ago
• dmjio / Julio
  Julia embedded in Haskell
  ☆53Updated 3 months ago
• riswords / quiche
  ☆21Updated 2 years ago
• psg-mit / smooth
  An arbitrary-precision differentiable programming language.
  ☆34Updated last year
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆40Updated last year
• bollu / discrete-differential-geometry
  An elegant implementation of discrete diffgeo in haskell
  ☆33Updated 5 years ago
• IntelLabs / Latte.jl
  A high-performance DSL for deep neural networks in Julia
  ☆53Updated 2 years ago
• annenkov / two-level
  Two-Level Type Theory
  ☆28Updated 5 years ago
• byorgey / thesis
  Brent's PhD thesis.
  ☆63Updated 8 years ago
• philzook58 / ad-lens
  Automatic Differentiation using Pseudo Lenses. Neat.
  ☆20Updated 5 years ago
• dpiponi / Operators
  Some operator abuse
  ☆28Updated 7 years ago
• leptonyu / tensors
  Tensors in Haskell
  ☆40Updated 2 months ago
• statusfailed / numeric-optics-python
  ☆25Updated 2 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 8 years ago
• conal / talk-2018-essence-of-ad
  The simple essence of automatic differentiation
  ☆200Updated 4 years ago
• sergei-mironov / htvm
  Haskell experiments involving TVM AI framework
  ☆21Updated 5 years ago
• RobinKa / egga
  Symbolic Geometric Algebra with E-Graphs
  ☆19Updated last year
• dselsam / tc
  Reference type checker for the Lean theorem prover
  ☆15Updated 7 years ago
• andrejbauer / marshall
  Real number computation software
  ☆123Updated 2 years ago
• qobi / R6RS-AD
  Forward and Reverse Mode Automatic Differentiation (AD) in R6RS Scheme plus extensions to support nondeterministic and stochastic program…
  ☆39Updated 8 years ago