Anosov representations and proper actions

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.