Projects in Awesome Lists by git-afsantos
A curated list of projects in awesome lists by git-afsantos .
https://github.com/git-afsantos/haros
H(igh) A(ssurance) ROS - Static analysis of ROS1 application code.
quality-assurance robotics ros static-analysis
Last synced: 12 May 2025
https://github.com/git-afsantos/bonsai
Simplified interface for syntax trees and program models.
abstract-syntax-tree ast cpp parsing python static-analysis
Last synced: 13 Sep 2025
https://github.com/git-afsantos/haros_tutorials
Example code for a fictitious ROS robot to try out HAROS
Last synced: 11 Jul 2025
https://github.com/git-afsantos/haros_plugins
Plugin repository for the HAROS tool.
coding-standards metrics plugins ros static-analysis
Last synced: 25 Jun 2025
https://github.com/git-afsantos/bake-a-py
Package template for Python projects.
best-practices codestyle package package-creation project-template python python-package release-automation template
Last synced: 11 Feb 2026
https://github.com/git-afsantos/hpl-specs
High-Level Property Specification Language
behavior domain-specific-language liveness message-passing properties safety specification specification-language specification-pattern
Last synced: 27 Jun 2025
https://github.com/git-afsantos/make-haros-easy
Repository of scripts to make HAROS installation and setup easier.
Last synced: 27 Jun 2025
https://github.com/git-afsantos/hpl-rv
Tools to manage RV monitors created from HPL
code-generation runtime-verification safety-monitoring verification
Last synced: 25 Jul 2025
https://github.com/git-afsantos/haros-case-studies
A collection of case studies of the HAROS framework.
Last synced: 23 Feb 2026
https://github.com/git-afsantos/rosqc
ROS node testing based on Python Hypothesis
hypothesis-testing quickcheck ros testing
Last synced: 29 Apr 2026
https://github.com/git-afsantos/haros-plugin-rv-gen
HAROS plugin to generate runtime monitors
Last synced: 27 Apr 2026
https://github.com/git-afsantos/haros-plugin-pyflwor
HAROS plugin for the Pyflwor query engine
Last synced: 27 Jun 2025
https://github.com/git-afsantos/haros_packages
assertions quality-assurance ros
Last synced: 24 Apr 2026
https://github.com/git-afsantos/haros-plugin-pbt-gen
HAROS plugin to generate Hypothesis tests from HPL specifications
Last synced: 28 Apr 2026