Synthesis API Refactor

Simple library for defining and enforcing contracts. Inspired by http://open-std.org/JTC1/SC22/WG21/docs/papers/2018/p0542r5.html

llama.cpp (GGUF LLMs) and llava.cpp (GGUF VLMs) for ROS 2

ROSA 🤖 is an AI Agent designed to interact with ROS1- and ROS2-based robotics systems using natural language queries. ROSA helps robot developers inspect, diagnose, understand, and operate robots.

Causal Understanding and Remediation for Enhancing Robot Performance

Replication package of the paper titled "Mining Guidelines for Architecting Robotics Software" published at the International Journal of Systems and Software

ROSMonitoring: a Runtime Verification Framework for ROS

Open Source AADL2 Tool Environment

A tool for refactoring code related to feature flag APIs

Tools to enable Runtime Verification in ROS using HPL properties

Collection of Summer 2025 tech internships!

The quantities and units library for C++

The ROS Cheatsheet source

Scalpel: The Python Static Analysis Framework

A Temporal Logic Library

Static Analysis for Unmanned Aerial Systems

A tool for obtaining LTL formulas from a sample of positive and negative words.

Python bindings for Comby

EzSkiROS: An embedded Domain Specific Language (DSL) to describe robotic skills in SkiROS. EzSkiROS allows reobot developers to catch bugs at launch time, i.e. before running the robot.

A code rewrite tool for structural search and replace that supports ~every language.

🔊 Text-Prompted Generative Audio Model

A C++14-compatible physical units library with no dependencies and a single-file delivery option. Emphasis on safety, accessibility, performance, and developer experience.