git-afsantos/haros

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

Language: Python - Size: 5.74 MB - Last synced: about 5 hours ago - Pushed: over 1 year ago - Stars: 186 - Forks: 37

git-afsantos/feature-model-editor

Web tool to create and edit feature models

Language: TypeScript - Size: 386 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

git-afsantos/bonsai

Simplified interface for syntax trees and program models.

Language: Python - Size: 236 KB - Last synced: 11 days ago - Pushed: over 1 year ago - Stars: 15 - Forks: 8

git-afsantos/rosqc

ROS node testing based on Python Hypothesis

Language: Python - Size: 8.79 KB - Last synced: 8 months ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

git-afsantos/hpl-pbt

Tools to enable Property-based Testing using HPL properties

Language: Python - Size: 189 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

git-afsantos/hpl-rv

Tools to manage RV monitors created from HPL

Language: Python - Size: 308 KB - Last synced: 23 days ago - Pushed: about 2 months ago - Stars: 1 - Forks: 0

git-afsantos/hpl-specs

High-Level Property Specification Language

Language: Python - Size: 286 KB - Last synced: 23 days ago - Pushed: about 2 months ago - Stars: 3 - Forks: 0

git-afsantos/bake-a-py

Package template for Python projects.

Language: Python - Size: 87.9 KB - Last synced: 24 days ago - Pushed: about 2 months ago - Stars: 2 - Forks: 0

git-afsantos/hpl-rv-gen 📦

Runtime monitor generator based on HPL properties

Language: Python - Size: 238 KB - Last synced: about 1 month ago - Pushed: over 2 years ago - Stars: 1 - Forks: 0

git-afsantos/haros-plugin-rv-gen

HAROS plugin to generate runtime monitors

Language: Python - Size: 30.3 KB - Last synced: 4 days ago - Pushed: 10 months ago - Stars: 0 - Forks: 0

git-afsantos/haros_packages

Language: C++ - Size: 123 KB - Last synced: 11 months ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

git-afsantos/ros-wiki-qa-experiment

Language: HTML - Size: 221 KB - Last synced: 11 months ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

git-afsantos/haros-case-studies

A collection of case studies of the HAROS framework.

Size: 263 KB - Last synced: 11 months ago - Pushed: almost 3 years ago - Stars: 1 - Forks: 0

git-afsantos/discord-coding-bot

Language: Python - Size: 39.1 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0

git-afsantos/ros_comm Fork of ros/ros_comm 📦

ROS communications-related packages, including core client libraries (roscpp, rospy, roslisp) and graph introspection tools (rostopic, rosnode, rosservice, rosparam).

Language: Python - Size: 11.5 MB - Last synced: over 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

git-afsantos/ros_packages 📦

Some useful ROS Packages

Language: C++ - Size: 68.4 KB - Last synced: over 1 year ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0

git-afsantos/habitrpg Fork of HabitRPG/habitica 📦

A habit tracker app which treats your goals like a Role Playing Game.

Language: HTML - Size: 166 MB - Last synced: over 1 year ago - Pushed: about 9 years ago - Stars: 0 - Forks: 0

git-afsantos/git-afsantos.github.io Fork of academicpages/academicpages.github.io

Github Pages template for an academic personal website

Language: JavaScript - Size: 69.5 MB - Last synced: over 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

git-afsantos/haros_tutorials

Example code for a fictitious ROS robot to try out HAROS

Language: C++ - Size: 1.25 MB - Last synced: over 1 year ago - Pushed: over 2 years ago - Stars: 4 - Forks: 2

git-afsantos/haros_plugins

Plugin repository for the HAROS tool.

Language: Python - Size: 326 KB - Last synced: 7 days ago - Pushed: almost 3 years ago - Stars: 7 - Forks: 1

git-afsantos/jTuples

Java gets a Pair.

Language: Java - Size: 399 KB - Last synced: about 2 months ago - Pushed: over 2 years ago - Stars: 2 - Forks: 0

git-afsantos/undo4j

Generic transaction support at application level for Java.

Language: Java - Size: 436 KB - Last synced: about 2 months ago - Pushed: over 2 years ago - Stars: 4 - Forks: 0

git-afsantos/pyscaffold Fork of pyscaffold/pyscaffold

🛠 Python project template generator with batteries included

Language: Python - Size: 8.2 MB - Last synced: over 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

git-afsantos/haros-plugin-pbt-gen

HAROS plugin to generate Hypothesis tests from HPL specifications

Language: Python - Size: 690 KB - Last synced: 3 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

git-afsantos/ros_data

Repository for collected data on ROS software.

Size: 144 KB - Last synced: over 1 year ago - Pushed: almost 4 years ago - Stars: 2 - Forks: 0

git-afsantos/make-haros-easy

Repository of scripts to make HAROS installation and setup easier.

Language: Shell - Size: 9.77 KB - Last synced: over 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 2

git-afsantos/ros-type-tokens

Type tokens to represent ROS types

Language: Python - Size: 20.5 KB - Last synced: 4 days ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

git-afsantos/haros-plugin-pyflwor

HAROS plugin for the Pyflwor query engine

Language: Python - Size: 85.9 KB - Last synced: 2 months ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

git-afsantos/haros-plugin-model-ged

HAROS plugin to calculate the Graph Extraction Difference of extracted models

Language: Python - Size: 215 KB - Last synced: about 1 month ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

git-afsantos/haroslaunch

ROS launch file parser component for HAROS

Language: Python - Size: 142 KB - Last synced: over 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

git-afsantos/haros-plugin-electrum

HAROS plugin for the Electrum model checker

Language: Python - Size: 17.6 KB - Last synced: over 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

git-afsantos/um-phd-cover

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

Language: TeX - Size: 216 KB - Last synced: over 1 year ago - Pushed: over 3 years ago - Stars: 4 - Forks: 1

git-afsantos/vnc-csf-17

Summer in Campus robotics challenges 2017

Language: Python - Size: 1.78 MB - Last synced: 4 months ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

git-afsantos/pokecrystal Fork of pret/pokecrystal

Disassembly of Pokémon Crystal

Size: 45.7 MB - Last synced: over 1 year ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

git-afsantos/pipy_printer

Python email reader and printer, intended for a Raspberry Pi

Language: Python - Size: 16.6 KB - Last synced: over 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

git-afsantos/pokefirered Fork of pret/pokefirered

Disassembly of Pokémon FireRed/LeafGreen

Size: 34.2 MB - Last synced: over 1 year ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0

git-afsantos/rel4j

Language: Java - Size: 29.3 KB - Last synced: over 1 year ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0

git-afsantos/rgtm_rosdistro_caches Fork of rosin-project/rgtm_rosdistro_caches

rosinstall_generator_time_machine caches (https://github.com/rosin-project/rosinstall_generator_time_machine)

Size: 21.4 MB - Last synced: over 1 year ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

git-afsantos/cccc Fork of sarnold/cccc

Source code counter and metrics tool (imported from sourceforge)

Language: C - Size: 11.3 MB - Last synced: over 1 year ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

git-afsantos/kobukium

Turtlebot/Kobuki packages for small experiments.

Language: Python - Size: 2.8 MB - Last synced: over 1 year ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0

git-afsantos/templet Fork of python-templet/templet

Lightweight python string templating annotations

Language: Python - Size: 31.3 KB - Last synced: over 1 year ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

git-afsantos/kobuki Fork of yujinrobot/kobuki

Software for iClebo Kobuki

Language: C++ - Size: 30.2 MB - Last synced: over 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0