ocramz / ad-delcont
Reverse-mode automatic differentiation with delimited continuations
☆14Updated last year
Related projects ⓘ
Alternatives and complementary repositories for ad-delcont
- a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.☆19Updated 7 months ago
- ☆20Updated last year
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆19Updated 4 years ago
- Profunctor optics for the endofunctor category on Hask☆27Updated 4 years ago
- Combinators and types for easily building trainable neural networks using the backprop library☆33Updated 4 years ago
- ☆17Updated last year
- I/O utilities and datasets for algebraic-graphs☆14Updated 2 years ago
- Numerical optimization with support for stochastic optimization, mostly for my own experimental usage☆14Updated 4 years ago
- Staged Streams and other stuff☆18Updated 2 years ago
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…☆33Updated this week
- Existential type.☆36Updated 6 months ago
- An embedded probabilistic programming language.☆34Updated 7 years ago
- Agda-style equational reasoning in Haskell☆51Updated 6 months ago
- Compile time CAS(Computer Algebra System) for Haskell☆17Updated 4 years ago
- ☆28Updated 2 years ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆38Updated 2 years ago
- being a collection of Agda-facilitated ramblings☆33Updated 4 years ago
- backprop primitives for hmatrix☆13Updated 4 years ago
- Bidirectional programming in Haskell with monadic profunctors☆44Updated 2 years ago
- Paper and talk☆45Updated last year
- A library for doing generic programming in Agda☆28Updated 3 years ago
- Combinatory automatic differentiation in Haskell for heterogeneous computing.☆21Updated 6 years ago
- An experimental Haskell library for programming with effectful runners.☆29Updated 4 years ago
- An implementation of a simple Neural network in Idris using category theory.☆22Updated 2 months ago
- Quantitative Type Theory implementation☆54Updated 3 years ago
- Many-dimensional type-safe numeric ops☆46Updated 2 years ago
- A usable type system for call by push-value☆28Updated 4 years ago
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- Fast parallel calculations in pure mathematics, e.g. Gröbner Bases☆16Updated 3 months ago