Automatic Differentiation
BSD-3-CLAUSE License
Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens
A modern syntax for the λ-calculus.
A higher-order effect system where the sky's the limit
Functional Programming Course
Alternative to Haskell Prelude.Num, deriving types bottom-up
Safe, programmable, speculative evaluation for Haskell
Profunctor optics for the endofunctor category on Hask
Make a lambda calculus.
Small autodiff lib and a simple working feedforward neural net in Haskell on top of it, from scra...
Learning haskell with a rascal!
An optimized general monad transformer for streaming applications, with a simple prelude of funct...
Combinators for manipulating locally-nameless generalized de Bruijn terms
Code snippets accompanying the talk "Automatic Differentiation in Haskell."
Provides a wide array of (semi)groupoids and operations for working with them. A Semigroupoid is...