David's Pretty Satisfactory Gps-disciplined Oscillator - View it on GitHub