An important problem in quantum information processing is the certification of the dimension of quantum systems without making assumptions about the devices used to prepare and measure them, that is, in a device-independent manner. A crucial question is whether such certification is experimentally feasible for high-dimensional quantum systems. Here we experimentally witness in a device-independent manner the generation of six-dimensional quantum systems encoded in the orbital angular momentum of single photons and show that the same method can be scaled, at least, up to dimension 13. Introduction.-Dimensionality is a fundamental property of physical systems and a key resource in quantum information processing. Phenomena such as contextuality require systems of a certain minimum dimension to occur [1,2]; applications such as quantum secure communication have different levels of security depending on the dimension of the systems [3,4], and methods to characterize quantum states strongly depend on the assumed dimension of the systems [5]. It is therefore of crucial importance to develop methods to certify whether a source produces systems that have at least a certain dimension and to distinguish quantum systems from classical systems of the same dimension. The first theoretical tools for providing lower bounds on the dimension of quantum systems were based on Bell inequalities [6,7] and random access codes [8].