friedbrice / AutoDiffLinks
Code snippets accompanying the talk "Automatic Differentiation in Haskell."
☆19Updated 5 years ago
Alternatives and similar repositories for AutoDiff
Users that are interested in AutoDiff are comparing it to the libraries listed below
Sorting:
- Coordinate-free hypersurfaces as Haskell types☆41Updated 2 months ago
- Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics☆57Updated 4 years ago
- A geometric algebra implementation in Haskell☆31Updated 4 years ago
- An embedded DSL for creating, composing, and using probability measures.☆40Updated 5 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated last month
- Haskell library containing common graph search algorithms☆52Updated this week
- ☆18Updated 5 years ago
- Agda-style equational reasoning in Haskell☆53Updated 2 months ago
- Combinatory automatic differentiation in Haskell for heterogeneous computing.☆22Updated 6 years ago
- being the materials for Summer 2013's course☆112Updated 2 years ago
- Machine Learning Toolbox☆36Updated 7 years ago
- General-Purpose Computer Algebra System as an EDSL in Haskell☆92Updated 9 months ago
- Practical Deep Learning in Haskell now!☆52Updated 2 years ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆40Updated 3 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- Brent's PhD thesis.☆64Updated 9 years ago
- DIY Markov Chains.☆25Updated 7 months ago
- An Experiment in Haskell Symbolic Algebra☆73Updated 13 years ago
- oleg modules☆32Updated 12 years ago
- Tensors in Haskell☆40Updated 5 months ago
- A talk☆28Updated 4 years ago
- A non-interactive proof assistant using the Haskell type system☆37Updated 5 years ago
- Combinators and types for easily building trainable neural networks using the backprop library☆33Updated 5 years ago
- Paper and talk☆54Updated last year
- Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.☆43Updated 7 months ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- Examples for the Accelerate language☆69Updated 4 years ago
- An elegant implementation of discrete diffgeo in haskell☆33Updated 5 years ago
- Free Algebras in Haskell☆37Updated 9 months ago