Discover @git-afsantos Open Source projects

André Santos (@git-afsantos)

git-afsantos

Stars
220
Global Rank 114,352 (Top 4 %)
Followers 32
Following 4
Registered over 11 years ago
Most used languages

Python
58.3 %

Java
16.7 %

C++
8.3 %

TeX
8.3 %

Jinja 8.3 %
Location 🇵🇹 Portugal
Country Total Rank 386
Country Ranking

Jinja 9

Python
59

TeX
62

C++
303

Java
412

haros

H(igh) A(ssurance) ROS - Static analysis of ROS application code.

bonsai

Simplified interface for syntax trees and program models.

haros_plugins

Plugin repository for the HAROS tool.

haros_tutorials

Example code for a fictitious ROS robot to try out HAROS

undo4j

Generic transaction support at application level for Java.

um-phd-cover

LaTeX template for PhD Thesis covers following University of Minho style.

bake-a-py

Package template for Python projects.

jTuples

Java gets a Pair.

hpl-specs

HAROS Property Specification Language

ros-modex

A model extraction and analysis tool for ROS systems

ros_data

Repository for collected data on ROS software.

haros-case-studies

A collection of case studies of the HAROS framework.

hpl-rv-dashboard

Tools to manage RV monitors created from HPL

hpl-rv-gen

Runtime monitor generator based on HPL properties