conal / essence-of-adLinks
Paper: The simple essence of automatic differentiation
☆22Updated 6 years ago
Alternatives and similar repositories for essence-of-ad
Users that are interested in essence-of-ad are comparing it to the libraries listed below
Sorting:
- Haskell library of algebraic topology☆23Updated 13 years ago
- Category theory concepts in type classes and instances.☆22Updated last month
- Experiments with linear types☆14Updated 7 years ago
- Generalized Convolution and Efficient Language Recognition☆17Updated 5 years ago
- Haskell Library implementing standard functions for the Algebra of Physical Space Cl(3,0)☆57Updated 3 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Updated 9 months ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- Financial datetimes and holiday recurrence rules☆18Updated 4 years ago
- being an experiment with potato power☆23Updated 5 years ago
- Experiments in implementing functional data structures in Idris☆15Updated 5 years ago
- Clifford algebra for Haskell! :D☆15Updated 10 years ago
- Dependently typed convolutional neural networks☆35Updated 8 years ago
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆21Updated 5 years ago
- static analysis of free monads☆24Updated 6 years ago
- Combinators and types for easily building trainable neural networks using the backprop library☆33Updated 5 years ago
- Numerical optimization with support for stochastic optimization, mostly for my own experimental usage☆14Updated 4 years ago
- Tools for functors from Hask^k to Hask☆23Updated 5 years ago
- Reasonable Haskell default import☆27Updated 2 years ago
- A small profunctor library for idris☆17Updated 2 years ago
- I/O utilities and datasets for algebraic-graphs☆14Updated 2 years ago
- Ties the knot on data structures that reference each other by unique keys☆47Updated 10 months ago
- A general purpose programming language with linear types☆43Updated 8 years ago
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Updated 8 years ago
- a modern library for typed path manipulation in Haskell☆36Updated 4 years ago
- Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff☆14Updated 7 years ago
- Lens interface for your filesystem☆22Updated 4 years ago
- Easy bidirectional serialization in Haskell☆49Updated 6 years ago
- There are many category theory implementations, but this one is mine☆16Updated 10 months ago
- Auto-parallelizing Pure Functional Language☆27Updated 6 years ago