List of resources about programming practices for writing safety-critica...
OmniSafe is an infrastructural framework for accelerating SafeRL research.
This repository provides a design methodology and approach to building h...
ยตC/OS-II is a preemptive, highly portable, and scalable real-time kernel...
NeurIPS 2023: Safety-Gymnasium: A Unified Safe Reinforcement Learning Be...
Constant-complexity deterministic memory allocator (heap) for hard real-...
Matlab Interface for Control Barrier Function (CBF) and Control Lyapunov...
Replacements to standard numeric types which throw exceptions on errors
The Verifiably Safe Reinforcement Learning Framework
๐ A fast safe reinforcement learning library in PyTorch
Bourne shell, template engine, scripting language reliable, scalable pro...
๐ A repository for documenting and exploring the world of autonomous d...