friedbrice / AutoDiff
Code snippets accompanying the talk "Automatic Differentiation in Haskell."
☆19Updated 4 years ago
Alternatives and similar repositories for AutoDiff:
Users that are interested in AutoDiff are comparing it to the libraries listed below
- Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics☆56Updated 4 years ago
- Brent's PhD thesis.☆63Updated 8 years ago
- Coordinate-free hypersurfaces as Haskell types☆40Updated last year
- A geometric algebra implementation in Haskell☆28Updated 4 years ago
- Tensors in Haskell☆40Updated 2 weeks ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆68Updated 3 months ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆52Updated 7 years ago
- Combinators and types for easily building trainable neural networks using the backprop library☆33Updated 4 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- Learn the Agda basics in three 2-hour sessions.☆58Updated last year
- An embedded DSL for creating, composing, and using probability measures.☆40Updated 5 years ago
- Quantitative Type Theory implementation☆54Updated 3 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- A simple Depdently-Typed Language for Research and Learning☆57Updated 8 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- Dependently Typed Metaprogramming Exercises☆22Updated 6 years ago
- Source for personal blog.☆77Updated last week
- Funn: Functional Neural Networks in Haskell☆25Updated 5 years ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆39Updated 2 years ago
- Agda-style equational reasoning in Haskell☆52Updated 3 weeks ago
- Get a Brain☆24Updated 5 years ago
- The theory of groups☆76Updated last year
- A talk☆28Updated 3 years ago
- DIY Markov Chains.☆25Updated 2 months ago
- Haskell library for semigroup actions and torsors☆60Updated 11 months ago
- HoTT Note-taking action☆25Updated 5 years ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated 10 months ago
- Plover is a language for matrix algebra on embedded systems.☆47Updated 3 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 6 years ago
- being the teaching materials and exercises for CS410 in the 2018/19 session☆56Updated 5 years ago