GitHub repository: patrickhart/divine-rl
Primary language: C++
Description: A reinforcement learning environment for autonomous driving.