The initial release of Alchitry Labs is here! You can download it below.
You can download the Windows drivers here.
If you are running Linux, make sure to move the 99-alchitry.rules file from the driver folder into /etc/udev/rules.d/. This will prevent the board from showing up "unknown" when listing them off.
To build projects for the Au you need to install Vivado (WebPACK, aka free).
To build projects for the Cu you need to install iCEcube2 (bottom of the page).
If you are building for the Cu, you will need to point the IDE to your license file for iCEcube2. You can get a license here.
As promised, the source is here.
The next version will add "Alchitry Constraints" for defining pins using the board pin names instead of the FPGA pin names. This will allow for simpler assignments as well as board agnostic constraints (the same file for the Au or Cu).