The examples in the repo are using the open-source yosys + nextpnr tooling.