GitHub repository: mcx/tvm
Primary language: C++
Description: A framework for writing and solving optimization problem, with an emphasis on robotic control (Beta)