☆18Nov 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
- Language-independent, search-based program repair -- just your cup of tea! ☕☆32Jul 9, 2024Updated last year
- mypy plugin to type check Kubernetes resources☆26Sep 8, 2024Updated last year
- Genetic program repair using GHC☆33May 16, 2024Updated last year
- ☆16Aug 30, 2020Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses☆52Mar 30, 2026Updated 2 weeks ago
- Python bindings for Comby☆13Nov 7, 2023Updated 2 years ago
- minimalistic peripheral access library for the Raspberry Pi☆12Jan 4, 2020Updated 6 years ago
- ☆13Apr 5, 2026Updated last week
- A Knowledge Base System for Cognition-enabled Robots☆154Jun 4, 2025Updated 10 months ago
- OpenManipulator with TurtleBot3 packages☆88Jun 20, 2025Updated 9 months ago
- Event Platform☆14Oct 11, 2015Updated 10 years ago
- Source files for the 2020 ICAPS Online Summer School Lab on Plan Execution.☆11Oct 16, 2020Updated 5 years ago
- An implementation allowing fprime to be run on a limite number of Arduino compatible devices.☆30Feb 13, 2026Updated 2 months 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.
- ROSMonitoring: a Runtime Verification Framework for ROS☆43Jan 20, 2026Updated 2 months ago
- Coins for Android☆30Apr 20, 2017Updated 8 years ago
- Metapackage for the official rosjava repositories.☆11Nov 27, 2020Updated 5 years ago
- ☆15Apr 26, 2021Updated 4 years ago
- ☆21Jul 19, 2025Updated 8 months ago
- ☆10Mar 16, 2023Updated 3 years ago
- Multi-Agent Search and Rescue Robot in ROS☆12Jul 31, 2022Updated 3 years ago
- The Robotics Language is an open compiler where users can develop languages to generate ROS code☆60Nov 19, 2019Updated 6 years ago
- Clever @ Ubisoft MTL is looking for new interns and permanent members. Take the test now.☆10Oct 3, 2020Updated 5 years ago
- 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.
- An Exemplar for Self-Adaptive Underwater Vehicles performing pipeline inspection☆42Jul 4, 2025Updated 9 months ago
- Asking Clarification Questions for Code Generation in General-Purpose Programming Language☆11May 26, 2023Updated 2 years ago
- 微信小程序端的BookShare☆15Nov 3, 2017Updated 8 years ago
- A symbolic execution engine for Python☆44Dec 4, 2012Updated 13 years ago
- A Framework for Learning Behavior Trees in Collaborative Robotic Applications☆11Mar 27, 2023Updated 3 years ago
- a minimalistic todo app☆10May 10, 2023Updated 2 years ago
- Systemd Robot Initialization☆13Oct 31, 2019Updated 6 years ago
- A collision avoidance controller to steer a robot away from obstacles☆10May 17, 2017Updated 8 years ago
- header-only C++(98|11|14|17) TOML v0.5.0 parser/encoder depending on Boost☆31Dec 8, 2019Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A Query Langauge and System for Python Objects☆26Oct 20, 2017Updated 8 years ago
- Clearpath Configuration YAML Parser☆20Updated this week
- The repo works as a archive for the SVL simulator without Git LFS initialized.☆12Jan 25, 2022Updated 4 years ago
- This repository accompanies the following paper: A Workflow for Offline Model-Free Robotic RL☆13Nov 5, 2021Updated 4 years ago
- ROS safety working group repository☆39Jan 31, 2022Updated 4 years ago
- benchmark problems for research in formal methods for robotics☆15May 26, 2025Updated 10 months ago
- A curated list of ChaiScript Modules and Utilities.☆13Dec 2, 2019Updated 6 years ago