For each natural number k, the C^k diffeomorphisms of the circle form a group with function compositions. This definition even extends to real numbers k no less than one by Hölder continuity. We survey algebraic properties of this group, many of which can distinguish various values of k. (Joint work with Thomas Koberda)