This review provides a detailed introduction to chiral gauge theories, renormalization theory, and the application of dimensional regularization with the non-anticommuting BMHV scheme for (Formula presented.). One goal was to show how chiral gauge theories can be renormalized despite the spurious breaking of gauge invariance and how to obtain the required symmetry-restoring counterterms. A second goal was to familiarize the reader with the theoretical basis of the renormalization of chiral gauge theories, the theorems that guarantee the existence of renormalized chiral gauge theories at all orders as consistent quantum theories. Relevant topics include BPHZ renormalization, Slavnov–Taylor identities, the BRST formalism, and algebraic renormalization, as well as the theorems guaranteeing that dimensional regularization is a consistent regularization/renormalization scheme. All of these, including their proofs and interconnections, are explained and discussed in detail. Further, these theoretical concepts are illustrated in practical applications with the example of an Abelian and a non-Abelian chiral gauge theory. Not only the renormalization procedure for such chiral gauge theories is explained step by step, but also the results of all counterterms, including the symmetry-restoring ones, necessary for the consistent renormalization, are explicitly provided.