This is a survey of the three main methods developed in the last 15 years to prove the existence of integral canonical models of Shimura varieties of Hodge type. The only new part is formed by corrections to results of Kisin.