GitHub repository: GaloisInc/verse-ardupilot
Primary language: C++
Description: VERSE fork of ArduPilot/ardupilot