AbstractTopological insulators (TIs) are renowned for their remarkable electronic properties: quantized bulk Hall and edge conductivities, and robust edge wave-packet propagation, even in the presence of material defects and disorder. Computations of these physical properties generally rely on artificial periodicity (the supercell approximation, which struggles in the presence of edges), or unphysical boundary conditions (artificial truncation). In this work, we build on recently developed methods for computing spectral properties of infinite-dimensional operators. We apply these techniques to develop efficient and accurate computational tools for computing the physical properties of TIs. These tools completely avoid such artificial restrictions and allow one to probe the spectral properties of the infinite-dimensional operator directly, even in the presence of material defects, edges and disorder. Our methods permit computation of spectra, approximate eigenstates, spectral measures, spectral projections, transport properties and conductances. Numerical examples are given for the Haldane model, and the techniques can be extended similarly to other TIs in two and three dimensions.