Official repository for the REX virtual machine