Text this: Computational methods for higher real K-theory with applications to tmf