Repositories list

• haros

  Public
  The High-Assurance ROS framework

  Python

  •

  MIT License

  •1•1•0•1•Updated Jul 28, 2025Jul 28, 2025

• stratis

  Public
  Graphical User Interface to debug ROS systems

  visualizationdebuggingdashboard+ 9architecturemodelingstatic-analysisverificationrosinspectionmodel-extraction+ 2

  Vue

  •

  MIT License

  •0•2•6•0•Updated Jul 22, 2025Jul 22, 2025

• hpl-rv-ros

  Public
  Tools to enable Runtime Verification in ROS using HPL properties

  monitoringroscode-generation+ 3quality-assuranceros2runtime-verification

  Python

  •

  MIT License

  •0•2•0•2•Updated Jan 24, 2025Jan 24, 2025

• haros-design-docs

  Public
  Design documents and notes for HAROS

  MIT License

  •0•0•0•0•Updated May 10, 2023May 10, 2023