Robot navigation algorithms implemented in SPARK
☆12Sep 19, 2014Updated 11 years ago
Alternatives and similar repositories for spark-navigation
Users that are interested in spark-navigation are comparing it to the libraries listed below
Sorting:
- Simple serial control of iRobot Create 2 Roomba vacuum cleaner from Raspberry Pi.☆11Jun 13, 2017Updated 8 years ago
- Sireum: A High Assurance System Engineering Platform☆21Updated this week
- Fork of the original libfovis (Fast Odometry from VISion)☆12Dec 15, 2017Updated 8 years ago
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆47Aug 22, 2024Updated last year
- Kinect Challenge 2014☆16Sep 23, 2014Updated 11 years ago
- BRL Flight Arena Infrastructure 2.0☆18Mar 17, 2023Updated 2 years ago
- ROS package for the CRSM SLAM (Critical Rays Scan Match Simultaneous Localization And Mapping)☆22Feb 5, 2016Updated 10 years ago
- Specification and Analysis for Requirements Tool☆21Mar 10, 2021Updated 4 years ago
- Generation of mutant programs☆20Oct 31, 2018Updated 7 years ago
- Single robot basic motions simulation under Gazebo☆21Dec 14, 2018Updated 7 years ago
- bluetoothcar base on STM32F103VET6 use HAL,STM32CUBEMX☆10Apr 17, 2021Updated 4 years ago
- Isabelle LLVM Code Generator and Refinement☆29Nov 10, 2025Updated 3 months ago
- A version of the topological_navigation stack (http://wiki.ros.org/topological_navigation) that can run in ROS Fuerte.☆19May 28, 2014Updated 11 years ago
- Care-O-bot navigation packages☆49Feb 19, 2024Updated 2 years ago
- ☆35May 8, 2019Updated 6 years ago
- Bare metal demo code for Raspberry PI 3☆33Jan 27, 2017Updated 9 years ago
- generative programming & verification☆34Jun 19, 2025Updated 8 months ago
- Drona is a programming framework for building safe robotics systems☆30Apr 29, 2022Updated 3 years ago
- The Framework for Optimization of Resources, Controls, and Economics is a collection of software tools, models, and datasets acquired and…☆11Jan 2, 2025Updated last year
- Holtek Cup 合泰杯单片机竞赛整理☆11Oct 24, 2019Updated 6 years ago
- A control system for use with an agricultural spraying drone☆11Aug 11, 2017Updated 8 years ago
- 基于 Ros2 Humble 的智能物流小车☆14Nov 4, 2023Updated 2 years ago
- Detect and reconstruct transparent objects from scan shadows☆10Sep 22, 2017Updated 8 years ago
- Autonomous Traversal and Object Detection for Rovers☆15Updated this week
- ☆13Dec 16, 2022Updated 3 years ago
- gen0 gazebo simulation based on ROS2☆12Nov 13, 2025Updated 3 months ago
- C++11 Camera Models Classes.☆35Jan 25, 2018Updated 8 years ago
- An implementation of ROS 1.x on DDS☆38May 7, 2017Updated 8 years ago
- Tools for VI-Sensor☆11Dec 4, 2015Updated 10 years ago
- GPS software using open street maps. Draw tracks, waypoints. Can find actual position.☆11Jun 1, 2011Updated 14 years ago
- This ros metapackage builds the simple framework for the second generation of xmbot's manipulator, which includes the underlying driver, …☆34Oct 29, 2023Updated 2 years ago
- Custom, Open-Source firmware for the Brewie B20+ (and maybe B20)☆11Nov 24, 2022Updated 3 years ago
- 浙江 大学控制学院暑学期课程《机器人与智能系统综合实践》大作业2——小车运动控制仿真☆11Jan 15, 2023Updated 3 years ago
- 针对传统快递站点的各种不足,该无人快递站点通过采用多点机器视觉模块识别快件上的条形码进而获取该货物的具体位置,再查询数据库进行数据匹配获取快件的相关信息,通过机械臂控制技术来实现智能分拣、上架,将货架信息保存至库中,并发送信息给收件人。最后,系统根据取件人的取货码或二维码,…☆15Apr 21, 2019Updated 6 years ago
- ☆10Dec 31, 2018Updated 7 years ago
- ☆10May 14, 2017Updated 8 years ago
- Complete software package for the Iris Lunar Rover (CMU).☆16Feb 23, 2026Updated last week
- ☆11Jan 24, 2024Updated 2 years ago
- ☆11Oct 10, 2017Updated 8 years ago