For those interested in other FPGA boards, Digilent makes a whole series of affordable ones. https://www.digilentinc.com/Products/Catalog.cfm?NavPath=2,4...
https://embeddedmicro.com/tutorials/mojo/
Too bad its dev environment doesn't support OS X though.