A repository for the core of AcidCraft