Alternatives and similar repositories for talk-2018-essence-of-ad

Users that are interested in talk-2018-essence-of-ad are comparing it to the libraries listed below

• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆75Updated 7 years ago
• qobi / AD-Rosetta-Stone
  Examples of Automatic Differentiation (AD) in many different languages and systems
  ☆27Updated 6 years ago
• bgavran / Compositional_Deep_Learning
  Deep learning via category theory and functional programming
  ☆144Updated 5 years ago
• bollu / blaze
  Haskell re-implementation of STOKE, the stochastic superoptimizer
  ☆63Updated 5 years ago
• GU-CLASP / TypedFlow
  Typed frontend to TensorFlow and higher-order deep learning
  ☆156Updated 2 years ago
• leopiney / tensor-safe
  A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.
  ☆102Updated 2 years ago
• sampsyo / ppl-intro
  probabilistic programming for PL folks
  ☆157Updated 3 years ago
• bgavran / autodiff
  Rudimentary automatic differentiation framework
  ☆74Updated 6 years ago
• jmd1011 / snek-LMS
  Implementation of Lightweight Modular Staging (LMS) in Python
  ☆48Updated 6 years ago
• ZigaSajovic / dCpp
  Automatic differentiation in C++; infinite differentiability of conditionals, loops, recursion and all things C++
  ☆151Updated 6 years ago
• DavidMichaelRoberts / AlgebraicTopology2019
  Course notes for Pure Mathematics Topic D 2019
  ☆53Updated 5 years ago
• BB-UCL / autograd-forward
  Autograd extension for forward mode autodiff
  ☆30Updated 7 years ago
• tensorlang / tensorlang
  Tensorlang, a differentiable programming language based on TensorFlow
  ☆291Updated 7 years ago
• microsoft / knossos-ksc
  Compiler with automatic differentiation
  ☆48Updated last year
• jtauber / functional-differential-geometry
  working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python
  ☆45Updated 10 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 8 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆178Updated last year
• mstksg / backprop
  Heterogeneous automatic differentiation ("backpropagation") in Haskell
  ☆189Updated 2 weeks ago
• eth-sri / psi
  Exact Inference Engine for Probabilistic Programs
  ☆133Updated 3 months ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆41Updated 2 months ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• fdilke / bewl
  A DSL for the internal language of a topos
  ☆64Updated last week
• mstksg / tensor-ops
  Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation
  ☆59Updated 8 years ago
• ekmett / ad
  Automatic Differentiation
  ☆382Updated 3 months ago
• hakaru-dev / hakaru
  A probabilistic programming language
  ☆318Updated 3 years ago
• pyprob / ppx
  Probabilistic Programming eXecution protocol (PPX)
  ☆75Updated 3 years ago
• bollu / discrete-differential-geometry
  An elegant implementation of discrete diffgeo in haskell
  ☆33Updated 5 years ago