A modular toolkit for benchmarking safe robotic control systems.
☆67Oct 9, 2026Updated 3 weeks ago
Alternatives and similar repositories for spark
Users that are interested in spark are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆58Jan 19, 2025Updated last year
- ☆23Apr 9, 2025Updated last year
- ☆21Jul 21, 2025Updated last year
- This is the official code for CoRL 2024 work "Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagatio…☆16Oct 6, 2025Updated last year
- Benchmark on interactive safety☆12Dec 4, 2019Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A Physics-Based Simulator for Manipulating Interlocking Brick Assemblies☆85May 20, 2026Updated 5 months ago
- This is the official code for CoRL 2022 "Robustness Certification of Visual Perception Models via Camera Motion Smoothing"☆11Apr 5, 2023Updated 3 years ago
- Uncertainty-aware Latent Safety Filters for Avoiding Out-of-Distribution Failures (CoRL 2025)☆32Jun 23, 2026Updated 4 months ago
- Whole-Body Compliant Control Library for the Dreamer/Meka Mobile Humanoid Robot☆13Jan 10, 2013Updated 13 years ago
- Matlab codes for safety-critical control based on a single CBF constructed from a complex combination of safety specifications. They cont…☆18Mar 26, 2025Updated last year
- ☆11Jul 24, 2025Updated last year
- ☆20Apr 25, 2023Updated 3 years ago
- [DMLR 2024] Benchmarking Robustness of Multimodal Image-Text Models under Distribution Shift☆40Jan 25, 2024Updated 2 years ago
- ☆26Mar 21, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A fast C++ solver for lexicographic least-squares problems☆16Oct 5, 2026Updated 3 weeks ago
- Custom bringup for isaac_ros packages☆19Oct 8, 2026Updated 3 weeks ago
- ☆86Jul 28, 2025Updated last year
- The official code for "Steering Dialogue Dynamics for Robustness against Multi-turn Jailbreaking Attacks".☆19Jun 24, 2026Updated 4 months ago
- A GPU-Accelerated Quadratic Programming Solver for Model-Predictive Control☆149Nov 18, 2025Updated 11 months ago
- ☆36Aug 18, 2026Updated 2 months ago
- ABC-DS: obstacle Avoidance with Barrier-Certified polynomial Dynamical Systems☆11Aug 10, 2024Updated 2 years ago
- Simple C++ abstraction layer for quadratic programming solvers using Eigen.☆38Jun 27, 2025Updated last year
- Unitree G1 MPC☆13Apr 6, 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.
- Predictive Spliner planner for the ForzaETH race stack☆28Dec 2, 2024Updated last year
- CabiNet: Scaling Object Rearrangement in Clutter☆24Jan 17, 2024Updated 2 years ago
- Daily arxiv for robotics researchers. https://qiaozhijian.github.io/RoboArxiv/☆15Updated this week
- Neural network-based constrained kinodynamic motion planner☆38Jan 29, 2024Updated 2 years ago
- LocoMan: Advancing Versatile Quadrupedal Dexterity with Lightweight Loco-Manipulators (IROS'24)☆103Feb 6, 2025Updated last year
- Gazebo 中基于PX4无人机对特定物体进行识别并撞击或穿越（例如气球、门框）的仿真程序。 The simulation programme based on Gazebo and PX4 to fly across or crash object.☆10Jun 28, 2024Updated 2 years ago
- Differentiable Collision Avoidance☆25Jul 11, 2022Updated 4 years ago
- ☆17Nov 26, 2024Updated last year
- Humanoid loco-manipulation controller☆42Feb 4, 2025Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆14Mar 12, 2025Updated last year
- [RSS 2025] Learning Getting-Up Policies for Real-World Humanoid Robots☆235Apr 14, 2025Updated last year
- Code for "Multi-layered Safety of Redundant Robot Manipulators via Task-oriented Planning and Control" (ICRA 2025)☆12Mar 14, 2026Updated 7 months ago
- KODex | CoRL 2023 (Oral)☆24Jan 18, 2024Updated 2 years ago
- (ICLR 2024) CORN: CONTACT-BASED OBJECT REPRESENTATION FOR NONPREHENSILE MANIPULATION OF GENERAL UNSEEN OBJECTS☆51Nov 1, 2024Updated 2 years ago
- A package for parsing neural network properties in VNN-LIB format☆12Jul 18, 2026Updated 3 months ago
- This repository provides the code for training the position constrained generative grasp sampler from the paper Constrained Generative Sa…☆22Dec 4, 2024Updated last year