Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
machine-learning haskell optimization edsl symbolic type-safety solvers symbolic-computation type-level-programming optimization-algorithms symbolic-differentiation lbfgs ipopt lbfgs-b
-
Updated
Nov 11, 2024 - Haskell