A repository for the dexterlogics project