Anosov representations of word hyperbolic groups into reductive Lie groups provide a generalization of convex cocompact representations to higher real rank. I will explain how these representations can be used to construct properly discontinuous actions on homogeneous spaces. For a rank-one simple group G, this construction covers all proper actions on G, by left and right multiplication, of quasi-isometrically embedded discrete subgroups of G×G; in particular, such actions remain proper after small deformations, and we can describe them explicitly. This is joint work with F. Guéritaud, O. Guichard, and A. Wienhard.