OpenRTK is an open source project for precise GNSS algorithms in Matlab and C++. The repository can be found on Github and is currently under development.
Note
This project is under active development.
Introduction to GNSS Signals.
Error Modelling.
Software.