dgarbar: A repository from DGarbar