Ben Lippmeier's repositories
horde-ad
Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation"
Language:HaskellBSD-3-Clause000
why3
Haskell support for the Why3 input format
Language:HaskellNOASSERTION000