Reverse-mode automatic differentiation with delimited continuations
BSD-3-CLAUSE License
A 65C02 Assembly eDSL in Haskell
Small autodiff lib and a simple working feedforward neural net in Haskell on top of it, from scra...
Lift control operations, like exception catching, through monad transformers
Automatic Differentiation
Readings on computational logic, interactive theorem proving and functional programming.
The Monad Transformer Library
Miscellaneous articles. The readme is the table of contents.
Implementation of dual-numbers reverse AD with TemplateHaskell
Embedded language for high-performance array computations
A reference library for constraint-solving with propagators and CDCL.
Code snippets accompanying the talk "Automatic Differentiation in Haskell."