Integral models of Shimura varieties have been constructed by various people, culminating in the construction of integral models for Shimura varieties of abelian type with parahoric level by Kisin-Pappas. The purpose of this talk is to explain how to construct integral models for moduli spaces of shtukas - analogues of Shimura varieties over function fields - also for deeper Bruhat-Tits level structures. These integral models admit proper, surjective and generically étale level maps as well as a natural Newton stratification. Moreover, in the Drinfeld case they have a moduli interpretation in terms of Drinfeld level structures.