> If you want to overcomplicate it you could put rPi into it and sync the 50Hz clock to NTP
That’s ridiculous! Buy a little GPS-disciplined oscillator and either scale the PPS output up to 50Hz or use a PLL to derive 50Hz from the oscillator output :)
The GPSDO will also give you correct time of day and unwavering frequency. I used to have one set up at home to feed my test equipment a 10 MHz reference.
