gpsFreq. Arduino frequency counter library, uses a 1 Hz (PPS) signal from a GPS receiver as an accurate time base