OGRP - The Open Gnss Receiver Protocol - View it on GitHub