GitHub repository: utiasDSL/safe-control-gym
Primary language: Python
Description: PyBullet CartPole and Quadrotor environments—with CasADi symbolic a priori dynamics—for learning-based control and RL