Library of algorithms for GNSS post-processing - View it on GitHub