Lightweight robotics utility library
☆44Jul 22, 2022Updated 3 years ago
Alternatives and similar repositories for amino
Users that are interested in amino are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Receding Horizon Task and Motion Planning☆11Sep 1, 2021Updated 4 years ago
- A Task-Motion Planning Framework☆57Apr 24, 2021Updated 4 years ago
- ☆27Jan 7, 2021Updated 5 years ago
- A simple parser libaray for URDF Files. That returns a robot object which can be used to access links, joints, transformation matrices, e…☆15Jan 19, 2022Updated 4 years ago
- Planet: A unified sampling-based approach to integrated task and motion planning☆16Jul 9, 2020Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Object-Centric TAMP in Dynamic Environments☆30Apr 13, 2022Updated 3 years ago
- Code for the paper "Trust the PRoC3S: Solving Long-Horizon Robotics Problems with LLMs and Constraint Satisfaction" presented at CoRL 202…☆31Nov 18, 2024Updated last year
- ☆16Mar 8, 2022Updated 4 years ago
- Symk is a state-of-the-art classical optimal and top-k planner.☆43Dec 16, 2025Updated 3 months ago
- ☆17Jun 10, 2024Updated last year
- MImE - Manipulation Imitation Environments☆14Feb 1, 2022Updated 4 years ago
- Graphically Recursive Simultaneous Task Allocation, Planning, and Scheduling☆12Jan 31, 2022Updated 4 years ago
- Python DSL for writing PDDL☆25Aug 13, 2021Updated 4 years ago
- Pseudo-Marginal Slice Sampling☆19Jun 8, 2016Updated 9 years ago
- 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.
- ☆24Sep 25, 2024Updated last year
- TMIT*☆21Aug 20, 2024Updated last year
- A repository for a universal I/O spec for TAMP, along with scripts to convert from popular specs to our spec☆13Jun 25, 2025Updated 9 months ago
- A wrapper around MoveIt that enables more traditional industrial robot programming.☆15Jan 29, 2020Updated 6 years ago
- GPU-Parallel RRT-Connect☆56Feb 24, 2026Updated last month
- This is a ROS package used to detect directions of free space in enclosed areas where sensors fail to get returns☆16Oct 31, 2019Updated 6 years ago
- Code accompanying the paper "Semi-Infinite Programming for Trajectory Optimization with Nonconvex Obstacles" by K. Hauser☆52Jul 29, 2020Updated 5 years ago
- Common Lisp in-memory graph database.☆22May 8, 2024Updated last year
- Class project for COMP-781, Robotics. This is a CUDA-based collision detector for motion planning.☆13Apr 29, 2019Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Source for Action Schema Networks paper (AAAI'18)☆32Apr 6, 2023Updated 2 years ago
- ☆19Jan 3, 2024Updated 2 years ago
- OpenRAVE bindings for OMPL motion planning algorithms.☆28Apr 24, 2018Updated 7 years ago
- URDF Parser capable of handling kinematic loops☆21Mar 18, 2024Updated 2 years ago
- [ARCHIVED] Development continues at https://github.com/Simple-Robotics/aligator. [Old description] A primal-dual augmented Lagrangian sol…☆68Sep 26, 2025Updated 5 months ago
- Formal Language Tools for Robots☆15Jun 29, 2016Updated 9 years ago
- A trajectory generator for Cartesian linear motions that can apply overlay motions written in C++ and with ROS bindings☆17Jun 21, 2023Updated 2 years ago
- PairwiseNet: Pairwise Collision Distance Learning for High-dof Robot Systems☆24Jun 2, 2025Updated 9 months ago
- Code for☆15Oct 16, 2020Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A Robotic Arm Controller System with Qt☆13Apr 25, 2024Updated last year
- Prolog Technology Theorem Prover☆13Jun 19, 2024Updated last year
- Kinodyanmic Parallel Accelerated eXpansion☆13Sep 9, 2024Updated last year
- Closed form solution for KUKA LWR iiwa manipulator.☆11Mar 17, 2016Updated 10 years ago
- SeSaMe TAMP + Learning integrated with a Spot robot!☆28Updated this week
- Code Repository for Regression Planning Networks☆60Jul 25, 2024Updated last year
- ☆11Sep 20, 2016Updated 9 years ago