A GPS software-defined receiver back end - View it on GitHub