  We study the hyperbolicity of singular quotients of bounded symmetric
domains. We give effective criteria for such quotients to satisfy
Green-Griffiths-Lang's conjectures in both analytic and algebraic settings. As
an application, we show that Hilbert modular varieties, except for a few
possible exceptions, satisfy all expected conjectures.
