McMaster University

All

2 repositories

HashedExpression
Public
Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
machine-learning haskell optimization
machine-learning haskell optimization edsl symbolic type-safety solvers symbolic-computation type-level-programming optimization-algorithms
Haskell
•
MIT License
•4•43•4•0•Updated Nov 11, 2024Nov 11, 2024
IHPBLOG
Public
0•0•0•0•Updated Sep 13, 2023Sep 13, 2023

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.