Showing 1-5 of 5 projects
A large-scale non-linear optimization library for computer vision and other scientific applications.
A powerful modeling language for mathematical optimization problems in Julia, supporting linear, mixed-integer, conic, semidefinite, and nonlinear programming.
Pyomo is a Python-based open-source software package for modeling and solving optimization problems.
A Julia framework for acausal modeling, symbolic math, and parallelized scientific machine learning.
A C++ library for trajectory optimization of legged robots, useful for robotics and motion planning.
Get weekly updates on trending AI coding tools and projects.