robust-rosin/robust external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

robust-rosin/robust

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/robust-rosin/robust)

Close

robust-rosin / robustView on GitHubMore

• External links
• Readme badge

A dataset of 200+ bugs in the Robot Operating System with Docker containers

☆36Mar 9, 2024Updated 2 years ago

Alternatives and similar repositories for robust

Users that are interested in robust are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• unl-nimbus-lab / phriky-units

  View on GitHub
  Phriky Units - Physical units inconsistency detection tool for C++, especially for ROS
  ☆22Feb 8, 2019Updated 7 years ago
• cmu-rss-lab / rosdiscover

  View on GitHub
  ☆18Nov 28, 2023Updated 2 years ago
• plast-lab / HeapDL

  View on GitHub
  Heaps Don't Lie! Analyzes standard JVM and Android heap snapshots to improve the completeness of program analysis tools such as Doop.
  ☆15Feb 26, 2026Updated 3 weeks ago
• jr-robotics / rosmap

  View on GitHub
  ROS package dependency scanner
  ☆10Mar 11, 2020Updated 6 years ago
• aliasrobotics / ros1_fuzzer

  View on GitHub
  ☆16Aug 30, 2020Updated 5 years ago
• frovida / skiros

  View on GitHub
  A skill-based framework for ROS
  ☆20Jul 9, 2020Updated 5 years ago
• autonomy-and-verification-uol / ROSMonitoring

  View on GitHub
  ROSMonitoring: a Runtime Verification Framework for ROS
  ☆43Jan 20, 2026Updated 2 months ago
• rosin-project / ros2_fuzz

  View on GitHub
  An automatic fuzzing tool for ROS 2 C++ projects
  ☆19Jul 18, 2021Updated 4 years ago
• zhoulaifu / xsat

  View on GitHub
  A Fast Floating-Point Satisfiability Solver
  ☆29Jul 26, 2025Updated 7 months ago
• gordonbondon / kubernetes-typed

  View on GitHub
  mypy plugin to type check Kubernetes resources
  ☆27Sep 8, 2024Updated last year
• lyxell / logifix

  View on GitHub
  Fixing static analysis violations in Java source code using Datalog
  ☆17Sep 20, 2022Updated 3 years ago
• CoreSenseEU / rossdl

  View on GitHub
  ☆38Apr 8, 2025Updated 11 months ago
• aliasrobotics / RVD

  View on GitHub
  Robot Vulnerability Database. An archive of robot vulnerabilities and bugs.
  ☆223Jun 24, 2024Updated last year
• Tritlo / PropR

  View on GitHub
  Genetic program repair using GHC
  ☆33May 16, 2024Updated last year
• git-afsantos / haros

  View on GitHub
  H(igh) A(ssurance) ROS - Static analysis of ROS1 application code.
  ☆198Dec 12, 2024Updated last year
• humanoid-path-planner / hpp-spline

  View on GitHub
  Library for creating smooth cubic splines
  ☆10Oct 15, 2020Updated 5 years ago
• polysquare / cmake-ast

  View on GitHub
  Python module to reduce a cmake file to an AST
  ☆31Apr 13, 2022Updated 3 years ago
• ChrisTimperley / comby-python

  View on GitHub
  Python bindings for Comby
  ☆13Nov 7, 2023Updated 2 years ago
• ada-ros / ada4ros2

  View on GitHub
  Ada binding and tools for ROS2 - workspace overlay and documentation
  ☆24Sep 19, 2024Updated last year
• timtadh / pyflwor

  View on GitHub
  A Query Langauge and System for Python Objects
  ☆26Oct 20, 2017Updated 8 years ago
• mikekben / SLOT

  View on GitHub
  SLOT: SMT-LLVM Optimizing Translation
  ☆62Apr 17, 2025Updated 11 months ago
• squaresLab / GzScenic

  View on GitHub
  ☆21Jul 8, 2021Updated 4 years ago
• machinekoder / ros_pytest

  View on GitHub
  pytest support for ROS
  ☆16Mar 7, 2023Updated 3 years ago
• phenan / scalalr

  View on GitHub
  ScaLALR : LALR parser generator for embedded DSLs in Scala
  ☆13Feb 20, 2018Updated 8 years ago
• azz / ast-grep

  View on GitHub
  🔍 Like grep, but more powerful than you can possibly imagine
  ☆16Jan 15, 2018Updated 8 years ago
• gizatt / drake_periscope_tutorial

  View on GitHub
  ☆25Apr 10, 2019Updated 6 years ago
• chujDK / d3ctf2022-pwn-d3bpf-and-v2

  View on GitHub
  D^3CTF 2022 d3bpf, d3bpf-v2 attachment, exp and official writeup
  ☆12Mar 8, 2022Updated 4 years ago
• tatsuyai713 / Image-Processing-Node-Editor-ROS2

  View on GitHub
  処理の検証や比較検討での用途を想定したノードエディターベースの画像処理アプリ
  ☆11Mar 5, 2023Updated 3 years ago
• sacchinbhg / RL-PPO-GAMES

  View on GitHub
  ☆12Oct 19, 2023Updated 2 years ago
• fkie / catkin_lint

  View on GitHub
  Check catkin packages for common errors
  ☆57Dec 10, 2024Updated last year
• ikeshou / PyEus

  View on GitHub
  Python library that builds FFI between Python and Euslisp.
  ☆11Mar 14, 2020Updated 6 years ago
• SMAT-Lab / SE4OpenHarmony

  View on GitHub
  ☆12Feb 2, 2024Updated 2 years ago
• SteveMacenski / gazebo_model_collision_plugin

  View on GitHub
  A gazebo plugin definable from URDF to inform a client of a collision with an object
  ☆22Jul 15, 2020Updated 5 years ago
• mvnb-research / mvnb

  View on GitHub
  A Notebook Environment for Safe and Efficient Exploration
  ☆14Jul 16, 2023Updated 2 years ago
• redecheck / redecheck

  View on GitHub
  Automatically Detecting Layout Failures in Responsive Web Pages
  ☆17Mar 28, 2023Updated 2 years ago
• srg-imperial / SnapFuzz-artefact

  View on GitHub
  ☆11May 24, 2022Updated 3 years ago
• athackst / ignition_vs_gazebo

  View on GitHub
  Tests of gazebo and ignition ROS simulators
  ☆24Jan 22, 2026Updated 2 months ago
• whj0401 / RLOBF

  View on GitHub
  ☆10Sep 28, 2020Updated 5 years ago
• Formal-Systems-Laboratory / ROSRV

  View on GitHub
  ☆15Apr 26, 2021Updated 4 years ago