GitHub repository: KairosAerospace/rpi-gpio-ntpd
Primary language: C
Description: Interfaces GPIO pins to the NTP daemon. This way you can e.g. link an external pps via a GPIO pin to an NTP daemon.