GitHub repository: liuzuxin/Bullet-Safety-Gym
Primary language: Python
Description: An open-source framework to benchmark and assess safety specifications of Reinforcement Learning problems.