A fast high-resolution time-to-digital converter in the Red Pitaya Zynq-7010 SoC - View it on GitHub