Similar repositories to jump-dev/SumOfSquares.jl:

• jump-dev/SumOfSquares.jl github similar
• danistefanovic/build-your-own-x github similar
• jump-dev/PolyJuMP.jl github similar
• JuliaAlgebra/MultivariatePolynomials.jl github similar
• jump-dev/SCS.jl github similar
• tuvtran/project-based-learning github similar
• JuliaAlgebra/DynamicPolynomials.jl github similar
• JuliaGraphs/MetaGraphs.jl github similar
• jump-dev/Pavito.jl github similar
• jump-dev/ECOS.jl github similar
• JuliaOpt/Pajarito.jl github similar
• jump-dev/Dualization.jl github similar
• lanl-ansi/Juniper.jl github similar
• gibiansky/IHaskell github similar
• ds4dm/Tulip.jl github similar
• JuliaSmoothOptimizers/NLPModels.jl github similar
• oxfordcontrol/COSMO.jl github similar
• meilisearch/MeiliSearch github similar
• jump-dev/Cbc.jl github similar
• jump-dev/MathOptInterface.jl github similar
• MOSEK/Mosek.jl github similar
• bensadeghi/DecisionTree.jl github similar
• JuliaReach/Reachability.jl github similar
• JuliaSmoothOptimizers/JSOSolvers.jl github similar
• chriscoey/Hypatia.jl github similar
• JuliaArrays/FillArrays.jl github similar
• SciML/RecursiveArrayTools.jl github similar
• JuliaReach/LazySets.jl github similar
• PSORLab/EAGO.jl github similar
• odow/MathOptFormat.jl github similar
• tootsuite/mastodon github similar
• hecrj/iced github similar
• JuliaNLSolvers/LineSearches.jl github similar
• TuringLang/DistributionsAD.jl github similar
• JuliaPolyhedra/Polyhedra.jl github similar
• mariohsouto/ProxSDP.jl github similar
• JuliaStats/PDMats.jl github similar
• JuliaMath/FixedPointNumbers.jl github similar
• JuliaSmoothOptimizers/Krylov.jl github similar
• JuliaSmoothOptimizers/LinearOperators.jl github similar