This work contributes to the study of quaternionic linear operators. This study is a generalization of the complex case, but the noncommutative setting of quaternions shows several interesting new features, see e.g. the so-called S-spectrum and S-resolvent operators. In this work, we study de Branges spaces, namely the quaternionic counterparts of spaces of analytic functions (in a suitable sense) with some specific reproducing kernels, in the...