conal / talk-2018-essence-of-ad
The simple essence of automatic differentiation
☆197Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for talk-2018-essence-of-ad
- Examples of Automatic Differentiation (AD) in many different languages and systems☆26Updated 6 years ago
- Deep learning via category theory and functional programming☆139Updated 4 years ago
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆63Updated 5 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆72Updated 6 years ago
- probabilistic programming for PL folks☆152Updated 3 years ago
- Thoughts on adjoint, norm and such.☆165Updated last year
- Typed frontend to TensorFlow and higher-order deep learning☆156Updated 2 years ago
- A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.☆101Updated last year
- Exact Inference Engine for Probabilistic Programs☆130Updated 2 months ago
- Compiler with automatic differentiation☆45Updated last year
- Tensorlang, a differentiable programming language based on TensorFlow☆290Updated 6 years ago
- The Design and Implementation of Probabilistic Programming Languages☆175Updated 6 months ago
- a categorical deep learning compiler☆108Updated 6 months ago
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Updated 5 years ago
- Heterogeneous automatic differentiation ("backpropagation") in Haskell☆181Updated 4 months ago
- Theory and Applications of Lenses and Optics☆53Updated 2 years ago
- Automatic differentiation in C++; infinite differentiability of conditionals, loops, recursion and all things C++☆150Updated 5 years ago
- A probabilistic programming language☆311Updated 2 years ago
- Running the code you want to write as fast as the code you have to write☆139Updated 8 years ago
- Bug-free machine learning on stochastic computation graphs☆387Updated 5 years ago
- Rudimentary automatic differentiation framework☆73Updated 5 years ago
- ☆11Updated 7 years ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- ☆109Updated 4 months ago
- Reference type checker for the Lean theorem prover☆13Updated 6 years ago
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆80Updated last year
- Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation☆59Updated 7 years ago
- ☆54Updated 8 years ago
- Benchmarking various AD tools.☆107Updated 6 months ago
- Neural Nets in native Haskell☆123Updated 4 years ago