git-afsantos Goto Github PK

bake-a-py

Package template for Python projects.

bonsai

Simplified interface for syntax trees and program models.

cccc

Source code counter and metrics tool (imported from sourceforge)

discord-coding-bot

feature-model-editor

Web tool to create and edit feature models

git-afsantos.github.io

Github Pages template for an academic personal website

habitrpg

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

haros

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

haros-case-studies

A collection of case studies of the HAROS framework.

haros-plugin-electrum

HAROS plugin for the Electrum model checker

haros-plugin-model-ged

HAROS plugin to calculate the Graph Extraction Difference of extracted models

haros-plugin-pbt-gen

HAROS plugin to generate Hypothesis tests from HPL specifications

haros-plugin-pyflwor

HAROS plugin for the Pyflwor query engine

haros-plugin-rv-gen

HAROS plugin to generate runtime monitors

haros_packages

haros_plugins

Plugin repository for the HAROS tool.

haros_tutorials

Example code for a fictitious ROS robot to try out HAROS

haroslaunch

ROS launch file parser component for HAROS

hpl-pbt

Tools to enable Property-based Testing using HPL properties

hpl-rv

Tools to manage RV monitors created from HPL

hpl-rv-gen

Runtime monitor generator based on HPL properties

hpl-specs

High-Level Property Specification Language

jtuples

Java gets a Pair.

kobuki

Software for iClebo Kobuki

kobukium

Turtlebot/Kobuki packages for small experiments.

make-haros-easy

Repository of scripts to make HAROS installation and setup easier.

pipy_printer

Python email reader and printer, intended for a Raspberry Pi

pokecrystal

Disassembly of Pokémon Crystal

pokefirered

Disassembly of Pokémon FireRed/LeafGreen

pyscaffold

🛠 Python project template generator with batteries included