core set of navigational interfaces and general purpose algorithms

Artifacts using Boogie Core (5)
Sort by:Popular

route expansion logic - takes route strings in a variety of formats and converts them into 2D paths using relevant navigational data.
Last Release on Jul 9, 2026
parser implementations for various versions and record types within ARINC-424
Last Release on Jul 9, 2026
tools for evaluating how well trajectory data conformed with a physical path (generally as outlined by a procedure/airway
Last Release on Jul 9, 2026
WIP parser implementation for DAFIF.
Last Release on Jul 9, 2026
WIP parsers for the ARINC 424 XML standard. This should be considered alpha functionality.
Last Release on Jul 9, 2026
  • Prev
  • 1
  • Next