Library implementing the Responsibility Sensitive Safety model (RSS) for Autonomous Vehicles

The quantities and units library for C++

A concept-centered standard library for C++20, enabling safer and more reliable products and a more modern feel for C++ code; Also home of Subdoc the code-documentation generator.

High-level UAV managers in ROS, part of the "mrs_uav_core" package.

Yet another repo for the baxter collaboration task.

The home of the clang-based implementation of lifetime safety warnings.

The psen_scan package is a ROS integration of the PSENscan safety laser scanner product.

System that detects danger levels relative to drivers. Once a driver overpasses a biker, the system detects this unauthorised act, and responds by recognising the car plate in order to contact law enforcements..

🛡️ This project aims to detect malware embedded within QR codes, assisting law enforcement in scanning public QR codes, such as those found in subways and other public areas. 🏙️ It enhances public safety by identifying potentially malicious QR codes before they can cause harm. 🚨

🔒 A C++23 Library that provides mutex protected objects

This repository contains all the code for the arduino pro mini.

Open firmware for a DIY search and rescue transponder

Build a simple alert that speaks or chimes when poeople come within range

The aim of this project is to design and implement a dynamic algorithm to verify and enumerate safe path when a new edge is inserted or flow is increased along a path.

The ROS package for automating takeoff routine for UAVs, part of the "mrs_uav_core" package.

Synthesis tool of Safety LTL formulas

Simple lab status light for my home lab

C++ Safety Profile conformance analysis tool - A Boost candidate library for WG21 Safety Profiles adoption

Repository containing the code for my E-tonator Remote project

A smart pointer to an object already owned by a unique_ptr. It doesn't own the object but it self zeroes when the object is deleted so that it can never dangle.