FPGA synthesis tool powered by program synthesis - View it on GitHub