Repositories list

• haros

  Public
  The High-Assurance ROS framework

  Python

  •

  MIT License

  •1•2•0•1•Updated Mar 13, 2026Mar 13, 2026

• hpl-rv-ros

  Public
  Tools to enable Runtime Verification in ROS using HPL properties

  monitoringroscode-generation+ 3

  monitoringroscode-generationquality-assuranceros2runtime-verification

  Python

  •

  MIT License

  •0•3•0•1•Updated Mar 9, 2026Mar 9, 2026

• stratis

  Public
  Graphical User Interface to debug ROS systems

  visualizationdebuggingdashboard+ 9

  visualizationdebuggingdashboardarchitecturemodelingstatic-analysisverificationrosinspectionmodel-extraction+ 2

  Vue

  •

  MIT License

  •0•2•6•3•Updated Mar 1, 2026Mar 1, 2026

• haros-design-docs

  Public
  Design documents and notes for HAROS

  MIT License

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