RPi-PXE-Server. setup a Raspberry Pi as an PXE-Server
RPi-GPS-PPS-StratumOne. setup a Raspberry Pi as a Stratum One time server (GPS with PPS)
python-gpsd-client. a gpsd-client in python
