GitHub repository: okurz-iis/ogrp
Description: the Open Gnss Receiver Protocol