CasADi is a symbolic framework for numeric optimization implementing aut...
Owl - OCaml Scientific Computing @ https://ocaml.xyz
Source Code Generation for Automatic Differentiation using Operator Over...