Curtis D'Alves's starred repositories
HashedExpression
Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.