Finitely presented simple left-orderable groups in the landscape of Richard Thompson's groups

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_{\mathrm{\infty }}$, have infinite geometric dimension, and admit a nontrivial homogeneous quasimorphism (and hence have infinite commutator width).