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