Implementation of dual-numbers reverse AD with TemplateHaskell
MIT License
Reverse-mode automatic differentiation with delimited continuations
Deep-embedded combinators for strategic rewriting.
A modern syntax for the λ-calculus.
An implementation of "Freer Monads, More Extensible Effects".
a simple Haskell program & how I refactored it
An opinionated list of resources for learning Haskell
higher-order, no-boilerplate monads
Miscellaneous articles. The readme is the table of contents.
A monad for interfacing with external SAT solvers
A 65C02 Assembly eDSL in Haskell
a library for parallel programming
A compiler for FRACTRAN written in Haskell.
Efficient Type-Safe Capture-Avoiding Substitution for Free (Scoped Monads).
Code snippets accompanying the talk "Automatic Differentiation in Haskell."
Embedded language for high-performance array computations