NAV-Solutions (NAV-SLS) is a framework providing GNSS libraries and applications, mostly written in Rust.

Join us on Discord where we discuss the latest developments, publish demos, provides FAQ and answer questions.

We provide support for a few file formats, broadly used in GNSS and Geodesy applications. Some of them are now well integrated in the Rust community. We want our parsers to go beyond reading data and truly be the first stage of complex processing pipelines. Most of them also work both ways and allow data production as well.

• RINEX (Receiver Independent EXchange) File parser supports almost all types of RINEX files, and comes with full CRINEX support, thanks to a modern rewrite of this algorithm.

• IONEX (Ionosphere Maps) parser, a snapshot of the ionosphere state, in 2D or 3D

• DORIS (special Observation) RINEX parser, the DORIS measurement network is operated and maintained by CNES.

• SP3 File parser for precise navigation, typically required by PPP solutions.
  We support SP3 formatting as well and new features are being developed to provide Orbital Determination (OD).

• CGGTTS File parser for Timing solutions and remote clock comparison. This comes with a solution solver and a sky tracker to deploy the so called common-view tracking.

• BINEX (Binary) parser: the only fully open-source GNSS format, is the RINEX binary equivalent. We support the basic frames and we provide an encoder as well.

• SINEX File parser: for daily GNSS bias files. Currently under development.

This framework hosts GNSS-RTK which is a complete PVT solution solver. It supports both PPP (autonomous) or RTK (ground referenced) navigation. It offers a lot of abstraction so it may apply to any user applications, whether it is real-time or post-processed does not matter. It also offers a view to its internal models and is very easy to configure and deploy.

Application to post-processed navigation has been demonstrated with our rinex-cli tool. Application to real-time UBX stream (raw but decoded GPS data) has been demonstrated with our rt-navi tool.

gnss-qc is an abstract and complex library which provides a processing pipeline and is capable of managing all input products required by GNSS applications. It aims at providing an easy to user interface and remain flexible. Ideally it will not be limited to post-processed applications. It is a library from which you can build your own GUI or application, where gnss-qc serves as the computation core, which deals with the most difficult part for you.

RINEX-Cli is our post-processing command line application. It wraps the RINEX and SP3 parsers, our P.V.T and CGGTTS solvers to allow three major workflows:

• the Quality Check (Qc) pre-navigation analysis
• P.V.T solutions solving
• CGGTTS solutions solving

• GNNS-Protos to decode (and soon encode) GNSS protocols. Dedicated to applications that need to deal with raw GNSS binary streams, whether as an input or output, whether it is real-time or post processed.
• NTRIP client is a small object that facilitates connecting to NTRIP servers for real-time RTCM messaging. It uses tokio to handle the socket.

• UBX2RINEX a command-line tool to collect RINEX files from U-Blox receivers (or UBX captures).
• RINEX2BIN a command-line tool to serialize RINEX to all protocols we support
• RT-NAVI (Real-Time Navigation) is a proof-of-contept that our GNSS-RTK solver applies to real-time navigation as well. We do this by operating a U-Blox receiver in "raw" mode.

This framework relies on the great libraries integrated to the Rust community, in particular:

• Nyx-Space
  • Hifitime is our timing core and allows duration and timescales definition
  • ANISE is our navigation backbone
  • Nyx provides orbital determination (OD) and prediction anytime we need it
• GeoRust
• Nalgebra is used in particular in our P.V.T solver