Similar repositories to yuanchenyang/SumOfSquares.py:

• yuanchenyang/SumOfSquares.py github similar
• jumlauft/GP-Error-Bounds-for-Safe-Control github similar
• Mecademic/python_driver github similar
• jumlauft/Safe-Online-Learning-for-Gaussian-Processes github similar
• ramvasudevan/soft-robot-koopman github similar
• oxfordcontrol/SOSTOOLS github similar
• StanfordASL/SNDL github similar
• AstroHiro/ncm github similar
• jump-dev/MosekTools.jl github similar
• bodono/scs-python github similar
• MOSEK/Mosek.jl github similar
• coin-or/Csdp github similar
• oxfordcontrol/cuosqp github similar
• osqp/cuosqp github similar
• osqp/qdldl github similar
• cvxgrp/cvxpygen github similar
• jump-dev/SumOfSquares.jl github similar
• dynamicslab/pykoopman github similar
• mariohsouto/ProxSDP.jl github similar
• StanfordASL/neural-network-lyapunov github similar
• oxfordcontrol/Clarabel.jl github similar
• sqlp/sedumi github similar
• benalexkeen/Introduction-to-linear-programming github similar
• oxfordcontrol/COSMO.jl github similar
• JuliaReach/ReachabilityAnalysis.jl github similar
• RussTedrake/underactuated github similar
• acados/acados github similar
• cvxgrp/scs github similar
• fsavje/math-with-slack github similar
• Shunichi09/PythonLinearNonlinearControl github similar
• coin-or/Ipopt github similar
• fredrik-johansson/mpmath github similar
• python-control/python-control github similar
• ethz-adrl/control-toolbox github similar
• artivis/manif github similar
• symforce-org/symforce github similar
• osqp/osqp github similar
• cvxpy/cvxpy github similar
• Pyomo/pyomo github similar
• cvxgrp/cvxpylayers github similar