conal / paper-2020-higher-order-ad
Higher-order, higher-order automatic differentiation
☆30Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for paper-2020-higher-order-ad
- A talk☆28Updated 3 years ago
- Combinators and types for easily building trainable neural networks using the backprop library☆33Updated 4 years ago
- Practical Deep Learning in Haskell now!☆50Updated 2 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- Some tools for provability logic☆36Updated 6 years ago
- Vector & affine spaces, linear maps, and derivatives☆45Updated 3 months ago
- Reexporting TensorFlow Haskell with dependent typed functions☆46Updated 5 years ago
- A very little language☆16Updated last year
- Tensors in Haskell☆40Updated 3 weeks ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆83Updated last year
- 🖼️ the compiling to closed categories compiler☆66Updated 6 years ago
- ☆11Updated 7 years ago
- A lambda calculus to explore type-directed program synthesis.☆84Updated 4 years ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Updated 4 years ago
- A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs☆70Updated 2 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- Formalizing linear algebra in Agda by representing matrices as functions☆25Updated 10 months ago
- HoTT Note-taking action☆25Updated 5 years ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 5 years ago
- Bidirectional programming in Haskell with monadic profunctors☆44Updated 2 years ago
- An embedded probabilistic programming language.☆34Updated 7 years ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆38Updated 2 years ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆19Updated 4 years ago
- Automated Reasoning for the Working Mathematician☆11Updated 5 years ago
- Mathematical stories☆13Updated 3 years ago
- being a collection of Agda-facilitated ramblings☆33Updated 4 years ago
- oleg modules☆30Updated 11 years ago
- Self-contained repository for the eponymous paper☆29Updated 5 years ago