rtcmdecoder (pypi): A RTCM decoder for MSM7 and ephemerides data in Python
Keywords: gnss|msm7|rtcm