Just to clarify. The official Bitaxe open source project by @skot9000 can be found here:

Bitaxe

Fully Open-source bitcoin miner. Developers, miners, and enthusiasts can boost performance and security. Open-source hardware allows custom modific...

(bitaxe.de is one of many shops selling prebuild bitaxe. The domain name led to confusion among german plebs in the past)