GitHub repository: Drona-Org/Drona
Primary language: C
Description: Drona is a programming framework for building safe robotics systems