☆34Jul 12, 2026Updated 3 months ago
Alternatives and similar repositories for SPOT
Users that are interested in SPOT are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A CUDA-based implementation of the Alternating Direction Method of Multipliers (ADMM) algorithm to solve Semi-Definite Programming (SDP) …☆47Oct 23, 2026Updated last week
- Official code repository for the work "On the Surprising Robustness of Sequential Convex Optimization for Contact-Implicit Motion Plannin…☆62May 27, 2026Updated 5 months ago
- ☆19Nov 5, 2025Updated 11 months ago
- A sparse polynomial optimization tool based on the moment-SOS hierarchy.☆69Oct 20, 2026Updated last week
- ☆10Aug 13, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Collision-Free Mixed-Integer Planning for Quadrotors Using Convex Safe Regions☆16May 16, 2020Updated 6 years ago
- ☆13Oct 22, 2024Updated 2 years ago
- GPU-accelerated first-order low-rank SDP solver☆19Oct 2, 2026Updated 3 weeks ago
- ManiSDP aims to efficiently solve low-rank semidefinite programs via manifold optimization.☆31Aug 9, 2026Updated 2 months ago
- A Julia modeling layer for the Generalized Moment Problem☆15May 26, 2025Updated last year
- This repository is the official implementation of the TRAC optimizer in Fast TRAC: A Parameter-Free Optimizer for Lifelong Reinforcement …☆36May 18, 2026Updated 5 months ago
- Code for our paper "Building Rome with Convex Optimization".☆182Feb 7, 2026Updated 8 months ago
- Real-time semidefinite optimization for embedded robotics, RSS 2026☆22Sep 9, 2026Updated last month
- A curated survey and paper list for global solvers in 3D vision: certifiable optimization, convex relaxation, Branch-and-Bound, and robus…☆142Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Base line test with: A Robust and Efficient Trajectory Planner for Quadrotors☆13Oct 16, 2023Updated 3 years ago
- Certifiable solvers for the relative pose problem (RPp) with known gravity vector☆13Feb 16, 2023Updated 3 years ago
- Repository for Robust Trajectory Optimization with Stochastic Complementarity☆12Dec 15, 2020Updated 5 years ago
- A GPU Accelerated Quadratic Programming Solver for Model-Predictive Control☆61Apr 7, 2025Updated last year
- We provide the Matlab Implementation of Sparse-BSOS described in Weisser, Lasserre, Toh: Sparse-BSOS: a bounded degree SOS hierarchy for …☆11Nov 13, 2017Updated 8 years ago
- Official implementation of PROBE: Probabilistic Occupancy BEV Encoding — a learning-free, translation-robust descriptor for 3D LiDAR plac…☆16Jun 16, 2026Updated 4 months ago
- Automatically generate all constraint matrices for (lifted) QCQP problems.☆23May 7, 2025Updated last year
- A Fast Fractional Programming Technique for Geman-McClure Robust Estimator (RA-L 2024)☆25May 9, 2026Updated 5 months ago
- A prototypical implementation of the recently proposed feasible sequential linear programming algorithm.☆15Sep 7, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Differentiable QP solver in JAX☆174Jul 24, 2026Updated 3 months ago
- [RSS 2026] Learning Point Cloud Geometry as a Statistical Manifold: Theory and Practice☆122Sep 1, 2026Updated last month
- Graduated Non-Convexity (GNC) and Adaptive Trimming (ADAPT) algorithms for outlier robust estimation☆148Jan 22, 2021Updated 5 years ago
- A brief JAX tutorial with examples from control theory☆12Nov 17, 2022Updated 3 years ago
- ☆16Mar 11, 2026Updated 7 months ago
- A ROS/Gazebo Pioneer 3DX model.☆11Oct 16, 2013Updated 13 years ago
- A differentiable collision-free corridor generator.☆65Dec 16, 2024Updated last year
- LCQPow - A Solver for Quadratic Programs with Linear Complementarity Constraints☆30Apr 15, 2025Updated last year
- An always-feasible QP solver for constrained robot control☆50Updated this week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Factor graph-based radar-inertial odometry with online spatio-temporal calibration.☆13Mar 19, 2026Updated 7 months ago
- Julia AMPL Models Conforming to NLPModels.jl☆21Sep 18, 2026Updated last month
- SOTA Distributed LiDAR SLAM @ IEEE T-FR'26☆126Oct 19, 2026Updated last week
- SOTA Radar Global Descriptor in Radar Place Recognition (accepted in RA-L'24 w/ ICRA'25)☆62Sep 24, 2026Updated last month
- First-order solver for quadratric programming on CPU and GPU.☆20Jun 6, 2024Updated 2 years ago
- MSA (Minimal Subset Approach for Informed Keyframe Sampling), published @ RA-L'25, presented @ ICRA'26☆36Oct 20, 2026Updated last week
- Information page for running sos solvers☆14Oct 25, 2021Updated 5 years ago