  We establish several characterizations of Anosov representations of word
hyperbolic groups into real reductive Lie groups, in terms of a Cartan
projection or Lyapunov projection of the Lie group. Using a properness
criterion of Benoist and Kobayashi, we derive applications to proper actions on
homogeneous spaces of reductive groups.
