Frequency counter using a GPS receiver PPS output as its reference - View it on GitHub