  We construct the first examples of finitely presented simple groups of
orientation-preserving homeomorphisms of the real line. Our examples are also
of type $F_{\infty}$, have infinite geometric dimension, and admit a nontrivial
homogeneous quasimorphism (and hence have infinite commutator width).
