The group of piecewise projective homeomorphisms of the line provides straightforward torsion-free counterexamples to the so-called von Neumann conjecture. The examples are so simple that many additional properties can be established.
Alfio Quarteroni, Francesco Regazzoni, Stefano Pagani