The Factor Graph Optimization module in the GREAT software specializes in PPP and tightly-coupled PPP/INS solutions. - View it on GitHub