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