GNSS-SDR, an open-source software-defined GNSS receiver
C++ wrapper for Relic library, which is written in C.
Python extension of ZKBoo framework.