Main repository for the core implementation of XARK