Precise Point Positioning (PPP) UK

You can use both.

RTKlib is fairly basic, but completely free.
EzSurv is very comprehensive, but as a commercial solution, also priced accordingly.

Also look into Emlid Studio Beta

1 Like