GitHub repository: mitre-public/boogie
Primary language: Java
Created: 2024-11-13T14:47:44Z
Description: An open source library for parsing aeronautical navigation data, assembling it into useful objects, and analyzing them.