A dataset of 200+ bugs in the Robot Operating System with Docker containers
☆36Mar 9, 2024Updated last year
Alternatives and similar repositories for robust
Users that are interested in robust are comparing it to the libraries listed below
Sorting:
- Phriky Units - Physical units inconsistency detection tool for C++, especially for ROS☆22Feb 8, 2019Updated 7 years ago
- ☆18Nov 28, 2023Updated 2 years ago
- Example package demonstrates how to use pytest for testing ROS nodes☆11Jul 12, 2018Updated 7 years ago
- ROS package dependency scanner☆10Mar 11, 2020Updated 5 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆30Jul 9, 2024Updated last year
- Zenoh ROSCon 2025 Workshop☆44Dec 10, 2025Updated 2 months ago
- Simplified interface for syntax trees and program models.☆16Jan 16, 2023Updated 3 years ago
- Kinematic simulation of mobile robots and LiDARs in a map-defined environment.☆16Feb 11, 2026Updated 2 weeks ago
- ☆16Aug 30, 2020Updated 5 years ago
- H(igh) A(ssurance) ROS - Static analysis of ROS1 application code.☆198Dec 12, 2024Updated last year
- Robot Vulnerability Database. An archive of robot vulnerabilities and bugs.☆220Jun 24, 2024Updated last year
- ☆21Jul 8, 2021Updated 4 years ago
- ROSMonitoring: a Runtime Verification Framework for ROS☆43Jan 20, 2026Updated last month
- A gazebo plugin definable from URDF to inform a client of a collision with an object☆21Jul 15, 2020Updated 5 years ago
- Ada binding and tools for ROS2 - workspace overlay and documentation☆24Sep 19, 2024Updated last year
- mypy plugin to type check Kubernetes resources☆27Sep 8, 2024Updated last year
- ☆25Apr 10, 2019Updated 6 years ago
- ☆25Aug 24, 2020Updated 5 years ago
- Check catkin packages for common errors☆57Dec 10, 2024Updated last year
- PC-miner tool for program chairs☆29Dec 18, 2025Updated 2 months ago
- Tracing tools for ROS☆36Jun 12, 2024Updated last year
- Genetic program repair using GHC☆33May 16, 2024Updated last year
- This is the implementation of the visual model mentioned in our paper 'Automated Radiology Report Generation using Conditioned Transforme…☆10Jul 25, 2024Updated last year
- ☆11Dec 23, 2024Updated last year
- ☆10Jul 29, 2022Updated 3 years ago
- ☆10Sep 28, 2020Updated 5 years ago
- ENriching Health data by ANnotations of Crowd and Experts☆10Sep 13, 2021Updated 4 years ago
- Evolutionary decision trees☆11Jun 16, 2025Updated 8 months ago
- Vehicle templates with multibody suspension and electric powertrain sized for Formula Student competitions.☆15Updated this week
- Profile repository of Pietro Monticone.☆14Feb 22, 2026Updated last week
- Code for reproducing the paper "Neural Networks Fail to Learn Periodic Functions and How to Fix It" as part of the ML Reproducibility Cha…☆11Apr 16, 2021Updated 4 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- A GPU-friendly implementation of SpliceAI☆11Dec 8, 2022Updated 3 years ago
- ☆10Mar 9, 2023Updated 2 years ago
- Pytorch implementation of Generative Adversarial Networks (GAN) for ULTRASOUND image.☆13Sep 12, 2018Updated 7 years ago
- A way to track my readings☆12Feb 13, 2026Updated 2 weeks ago
- A fork of BlenderProc used in the GRADE framework to generate environments and export some additional information for processing.☆10Mar 9, 2023Updated 2 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- COBOLd: Gobblin’ Up COBOL Bugs for Fun and Profit☆10Mar 30, 2018Updated 7 years ago