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

• qobi / AD-Rosetta-Stone
  Examples of Automatic Differentiation (AD) in many different languages and systems
  ☆26Updated 6 years ago
• bollu / blaze
  Haskell re-implementation of STOKE, the stochastic superoptimizer
  ☆63Updated 5 years ago
• bgavran / Compositional_Deep_Learning
  Deep learning via category theory and functional programming
  ☆141Updated 4 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.
  ☆101Updated 2 years ago
• sampsyo / ppl-intro
  probabilistic programming for PL folks
  ☆153Updated 3 years ago
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆175Updated 9 months ago
• GU-CLASP / TypedFlow
  Typed frontend to TensorFlow and higher-order deep learning
  ☆156Updated 2 years ago
• adamnemecek / adjoint
  Thoughts on adjoint, norm and such.
  ☆167Updated 2 years ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆115Updated 8 months ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆72Updated 6 years ago
• bob-carpenter / ad-handbook
  Automatic Differentiation Handbook
  ☆145Updated 4 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 8 years ago
• ajtulloch / deeplearning-hs
  ☆54Updated 9 years ago
• ga / awesome-geometric-algebra
  A curated list of geometric algebra resources
  ☆129Updated 4 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
  ☆46Updated last year
• bgavran / autodiff
  Rudimentary automatic differentiation framework
  ☆73Updated 5 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆40Updated last year
• jmd1011 / snek-LMS
  Implementation of Lightweight Modular Staging (LMS) in Python
  ☆48Updated 5 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
• jtauber / functional-differential-geometry
  working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python
  ☆45Updated 10 years ago
• microsoft / ADBench
  Benchmarking various AD tools.
  ☆108Updated 8 months ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆72Updated 12 years ago
• dselsam / tc
  Reference type checker for the Lean theorem prover
  ☆14Updated 6 years ago
• ml4tp / gamepad
  A Learning Environment for Theorem Proving
  ☆72Updated 2 years ago
• DavidMichaelRoberts / AlgebraicTopology2019
  Course notes for Pure Mathematics Topic D 2019
  ☆52Updated 4 years ago
• conal / talk-2018-deep-learning-rebooted
  "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin
  ☆52Updated 5 years ago
• fdilke / bewl
  A DSL for the internal language of a topos
  ☆62Updated 9 months ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆92Updated 6 years ago