☆19Nov 28, 2023Updated 2 years ago
Alternatives and similar repositories for rosdiscover
Users that are interested in rosdiscover 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 dataset of 200+ bugs in the Robot Operating System with Docker containers☆36Mar 9, 2024Updated 2 years ago
- ☆39May 23, 2026Updated 2 months ago
- mypy plugin to type check Kubernetes resources☆26Sep 8, 2024Updated last year
- Fixing static analysis violations in Java source code using Datalog☆17Sep 20, 2022Updated 3 years ago
- Genetic program repair using GHC☆33May 16, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆16Aug 30, 2020Updated 5 years ago
- Python bindings for Comby☆13Nov 7, 2023Updated 2 years ago
- Synthesis API Refactor☆12May 17, 2022Updated 4 years ago
- A Knowledge Base System for Cognition-enabled Robots☆158Jun 4, 2025Updated last year
- Source files for the 2020 ICAPS Online Summer School Lab on Plan Execution.☆11Oct 16, 2020Updated 5 years ago
- A collision avoidance controller to steer a robot away from obstacles☆10May 17, 2017Updated 9 years ago
- Metapackage for the official rosjava repositories.☆11Nov 27, 2020Updated 5 years ago
- An extension for Event-Driven Behavior Trees to facilitate NPC coordination in Unity☆17May 16, 2026Updated 2 months ago
- Turtlebot nav stack/move base integration demo☆10Feb 3, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- The Robotics Language is an open compiler where users can develop languages to generate ROS code☆61Nov 19, 2019Updated 6 years ago
- Multi-Agent Search and Rescue Robot in ROS☆13Jul 31, 2022Updated 4 years ago
- 微信小程序端的BookShare☆16Nov 3, 2017Updated 8 years ago
- Docker images to facilitate Docker-based development.☆35Aug 1, 2026Updated 2 weeks ago
- 2018 Semester 2, Object Oriented Software Development (SWEN20003)☆10Dec 6, 2018Updated 7 years ago
- PC-miner tool for program chairs☆30Dec 18, 2025Updated 7 months ago
- A Framework for Learning Behavior Trees in Collaborative Robotic Applications☆11Mar 27, 2023Updated 3 years ago
- Cordova/Android app to control a ROS robot☆11Jun 13, 2018Updated 8 years ago
- This repository accompanies the following paper: A Workflow for Offline Model-Free Robotic RL☆13Nov 5, 2021Updated 4 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.
- benchmark problems for research in formal methods for robotics☆15May 26, 2025Updated last year
- ROS safety working group repository☆40Jan 31, 2022Updated 4 years ago
- ☆13Dec 6, 2018Updated 7 years ago
- An Exemplar for Self-Adaptive Underwater Vehicles performing pipeline inspection☆43Aug 2, 2026Updated last week
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).☆16Jan 12, 2026Updated 7 months ago
- VibeQuant: Your Personal Quant Research Workbench☆18Jul 9, 2026Updated last month
- ☆12Aug 19, 2025Updated 11 months ago
- Dynamics and Control of a Six-wheeled Rover with Rocker-Bogie Suspension☆14Jan 12, 2022Updated 4 years ago
- Remote Control ROS using Android attention must have the ROS correctly or use the code as a reference☆17Nov 11, 2018Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Neural network methods for multimodal map reconstruction and their usage for robot navigation and control☆15Jun 11, 2024Updated 2 years ago
- OCaml record fields as first class values☆22Jul 10, 2026Updated last month
- SCRUB is a platform for orchestration and aggregation of static code analysis tools.☆49Jul 16, 2026Updated 3 weeks ago
- Compositional type checking for a Hindley-Milner type system☆11Mar 28, 2017Updated 9 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Evolutionary decision trees☆11Jun 16, 2025Updated last year
- Marginalia 是一个为 Zotero 设计的 AI 聊天插件，让你能够与论文进行智能对话，快速理解和分析学术文献。☆19May 16, 2026Updated 2 months ago